diff options
| author | Robert Dewar <dewar@gnat.com> | 2001-10-12 00:59:14 +0000 |
|---|---|---|
| committer | Geert Bosch <bosch@gcc.gnu.org> | 2001-10-12 02:59:14 +0200 |
| commit | e70ee92a44a5ab3fc7ecaacab4ccc0f826982ff2 (patch) | |
| tree | 08754274bd5b8745697bc3b6d03326ad6755f5e4 | |
| parent | ac43be73099dd81413b52d1ca97438a64d76ac7d (diff) | |
| download | gcc-e70ee92a44a5ab3fc7ecaacab4ccc0f826982ff2.zip gcc-e70ee92a44a5ab3fc7ecaacab4ccc0f826982ff2.tar.gz gcc-e70ee92a44a5ab3fc7ecaacab4ccc0f826982ff2.tar.bz2 | |
* validsw.adb: Properly save -gnatVn status.
From-SVN: r46221
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | 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 <dewar@gnat.com> + + * validsw.adb: Properly save -gnatVn status. + 2001-10-11 Robert Dewar <dewar@gnat.com> * 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); |