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 /backend | |
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
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions