diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-26 09:18:24 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-26 09:18:24 +0100 |
commit | c2f22b1314148b79bb92a1ef116c1b732fcc5e34 (patch) | |
tree | 11cd30c0fd1ba941e59bb5fdcccc2a601a5d92ad /cparser/ErrorReports.mli | |
parent | fb3ca7666c734010eb038851830fbb4e41b5fcb0 (diff) | |
download | compcert-c2f22b1314148b79bb92a1ef116c1b732fcc5e34.tar.gz compcert-c2f22b1314148b79bb92a1ef116c1b732fcc5e34.zip |
Added -w to disable all options. Bug 19872
Diffstat (limited to 'cparser/ErrorReports.mli')
0 files changed, 0 insertions, 0 deletions