diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-06 17:09:05 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-06 17:09:05 +0100 |
| commit | 9683212947ec3e4efe431efe589897c34f999d15 (patch) | |
| tree | 08de58947bbe331cc9645f8f763beb77bb5257cb /debug | |
| parent | 55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba (diff) | |
| download | compcert-kvx-9683212947ec3e4efe431efe589897c34f999d15.tar.gz compcert-kvx-9683212947ec3e4efe431efe589897c34f999d15.zip | |
Use -Wno- instead of -Wno to deactivate warnings.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions