+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.
-- --
-- B o d y --
-- --
--- $Revision: 1.2 $
+-- $Revision$
-- --
-- Copyright (C) 2001 Free Software Foundation, Inc. --
-- --
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);