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/DwarfUtil.ml | |
parent | 55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba (diff) | |
download | compcert-9683212947ec3e4efe431efe589897c34f999d15.tar.gz compcert-9683212947ec3e4efe431efe589897c34f999d15.zip |
Use -Wno- instead of -Wno to deactivate warnings.
Diffstat (limited to 'debug/DwarfUtil.ml')
0 files changed, 0 insertions, 0 deletions