* validsw.adb: Properly save -gnatVn status.
authorRobert Dewar <dewar@gnat.com>
Fri, 12 Oct 2001 00:59:14 +0000 (00:59 +0000)
committerGeert Bosch <bosch@gcc.gnu.org>
Fri, 12 Oct 2001 00:59:14 +0000 (02:59 +0200)
From-SVN: r46221

gcc/ada/ChangeLog
gcc/ada/validsw.adb

index ae5b996..50734bb 100644 (file)
@@ -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.
index 923c913..5c2cbd8 100644 (file)
@@ -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);