aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
diff options
context:
space:
mode:
Diffstat (limited to 'cparser')
-rw-r--r--cparser/Cerrors.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml
index a757ab04..c50e12d9 100644
--- a/cparser/Cerrors.ml
+++ b/cparser/Cerrors.ml
@@ -298,6 +298,7 @@ let warning_options =
Exact ("-Wall"), Unit wall;]
let warning_help = "Diagnostic options:\n\
+\ -Wall Enable all warnings\n\
\ -W<warning> Enable the specific <warning>\n\
\ -Wno-<warning> Disable the specific <warning>\n\
\ -Werror Make all warnings into errors\n\