diff options
Diffstat (limited to 'src/options.adb')
| -rw-r--r-- | src/options.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options.adb b/src/options.adb index 43f68bbb5..f200d1c71 100644 --- a/src/options.adb +++ b/src/options.adb @@ -112,7 +112,7 @@ package body Options is elsif Opt'Length > 7 and then Opt (1 .. 7) = "--warn-" then return Option_Warning (Opt (8 .. Opt'Last), True); elsif Opt'Length > 5 and then Opt (1 .. 5) = "-Wno-" then - -- Handle -Wno before -W! + -- Handle -Wno-xxx before -Wxxx return Option_Warning (Opt (6 .. Opt'Last), False); elsif Opt'Length > 2 and then Opt (1 .. 2) = "-W" then return Option_Warning (Opt (3 .. Opt'Last), True); |