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 /exportclight | |
| parent | e3a336fca8c785f3f4992a8fd23f573a688c6e37 (diff) | |
| download | compcert-kvx-d2c668e9f2c3d098fc4267764b4e968b6d88a7b9.tar.gz compcert-kvx-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 'exportclight')
0 files changed, 0 insertions, 0 deletions