diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-04-25 17:16:07 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-04-25 17:16:07 +0200 |
commit | d2c668e9f2c3d098fc4267764b4e968b6d88a7b9 (patch) | |
tree | e5c9142a05144b45840992b4e91e5d2ee7221ad8 | |
parent | e3a336fca8c785f3f4992a8fd23f573a688c6e37 (diff) | |
download | compcert-d2c668e9f2c3d098fc4267764b4e968b6d88a7b9.tar.gz compcert-d2c668e9f2c3d098fc4267764b4e968b6d88a7b9.zip |
Enabled Werror via command line option.
The new command line option -Werror activates the treatment of
warnings as errors.
Bug 18004
-rw-r--r-- | driver/Driver.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 16267128..400aba84 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -757,6 +757,7 @@ let cmdline_actions = Exact "-v", Set option_v; Exact "-stdlib", String(fun s -> stdlib_path := s); Exact "-timings", Set option_timings; + Exact "-Werror", Set Cerrors.warn_error; (* Interpreter mode *) Exact "-interp", Set option_interp; Exact "-quiet", Self (fun _ -> Interp.trace := 0); |