From f7e9791234f89908bf6a7fba3d0482b74f379b0b Mon Sep 17 00:00:00 2001 From: bosch Date: Fri, 12 Oct 2001 00:59:14 +0000 Subject: [PATCH] * validsw.adb: Properly save -gnatVn status. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46221 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/validsw.adb | 5 +++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index ae5b996..50734bbd 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2001-10-11 Robert Dewar + + * validsw.adb: Properly save -gnatVn status. + 2001-10-11 Robert Dewar * usage.adb: Add lines for V switch. diff --git a/gcc/ada/validsw.adb b/gcc/ada/validsw.adb index 923c913..5c2cbd8 100644 --- a/gcc/ada/validsw.adb +++ b/gcc/ada/validsw.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- $Revision: 1.2 $ +-- $Revision$ -- -- -- Copyright (C) 2001 Free Software Foundation, Inc. -- -- -- @@ -74,8 +74,9 @@ package body Validsw is Options (K) := ' '; end loop; + Add ('n', not Validity_Check_Default); + Add ('c', Validity_Check_Copies); - Add ('d', Validity_Check_Default); Add ('f', Validity_Check_Floating_Point); Add ('i', Validity_Check_In_Params); Add ('m', Validity_Check_In_Out_Params); -- 2.7.4