diff options
| author | bosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-10-12 00:59:14 +0000 |
|---|---|---|
| committer | bosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-10-12 00:59:14 +0000 |
| commit | f7e9791234f89908bf6a7fba3d0482b74f379b0b (patch) | |
| tree | 08754274bd5b8745697bc3b6d03326ad6755f5e4 /gcc/ada/validsw.adb | |
| parent | c564d962f8f342292839832af9e17b60782b92f7 (diff) | |
| download | gcc-f7e9791234f89908bf6a7fba3d0482b74f379b0b.tar.gz | |
* validsw.adb: Properly save -gnatVn status.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46221 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/validsw.adb')
| -rw-r--r-- | gcc/ada/validsw.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/validsw.adb b/gcc/ada/validsw.adb index 923c913ea4d..5c2cbd82a7d 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); |