diff options
| -rw-r--r-- | src/options.adb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/options.adb b/src/options.adb index 00da22ca5..9cf591d59 100644 --- a/src/options.adb +++ b/src/options.adb @@ -91,6 +91,14 @@ package body Options is return Option_Err; end if; + -- Handle -Wall + if Opt = "all" then + for I in Msgid_Warnings loop + Enable_Warning(I, True); + end loop; + return Option_Ok; + end if; + -- Normal warnings. for I in Msgid_Warnings loop if Warning_Image (I) = Opt then @@ -300,6 +308,7 @@ package body Options is P (" -Wbody warns for not necessary package body"); P (" -Wspecs warns if a all/others spec does not apply"); P (" -Wunused warns if a subprogram is never used"); + P (" -Wall enables all warnings."); P (" -Werror turns warnings into errors"); -- P ("Simulation option:"); -- P (" --assert-level=LEVEL set the level which stop the"); |