OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

* validsw.adb: Properly save -gnatVn status.

Browse Source 
From-SVN: r46221
This commit is contained in:
Robert Dewar 2001-10-12 00:59:14 +00:00 committed by Geert Bosch
parent ac43be7309
commit e70ee92a44
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/ChangeLog
View 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.

5
gcc/ada/validsw.adb
View 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);