diff options
Diffstat (limited to 'gcc/ada/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index c5f2e1c..1816808 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -723,6 +723,7 @@ package body Switch.C is when 'P' => Treat_Categorization_Errors_As_Warnings := True; + Ptr := Ptr + 1; -- -gnates=file (specify extra file switches for gnat2why) @@ -808,8 +809,8 @@ package body Switch.C is -- -gnateu (unrecognized y,V,w switches) when 'u' => - Ptr := Ptr + 1; Ignore_Unrecognized_VWY_Switches := True; + Ptr := Ptr + 1; -- -gnateV (validity checks on parameters) @@ -1154,12 +1155,6 @@ package body Switch.C is Suppress_Options.Overflow_Mode_Assertions := Strict; end if; - -- -gnatP (periodic poll) - - when 'P' => - Ptr := Ptr + 1; - Polling_Required := True; - -- -gnatq (don't quit) when 'q' => |