diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 17:06:15 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 17:06:15 +0200 |
commit | 036ecd1ba42585b51fffd70593106aa57fb40b29 (patch) | |
tree | 1baea15e4305ac10493286a7e30c921ef781b5fd | |
parent | d6722c797fc6830d805bc94741427e406f4e16ab (diff) | |
parent | 8d0e86f0712fd9aceffbb1bb37d89ca84c83893c (diff) | |
download | compcert-036ecd1ba42585b51fffd70593106aa57fb40b29.tar.gz compcert-036ecd1ba42585b51fffd70593106aa57fb40b29.zip |
Merge branch 'master' of /common/repositories/git/tools/compcert
-rw-r--r-- | cparser/Cerrors.ml | 1 |
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\ |