diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-28 13:20:40 +0100 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-28 13:20:40 +0100 |
| commit | 0e9ce30b09291812b14230f14a0614a2deee47a7 (patch) | |
| tree | 3a440c3ec6a534c29e63bc3ef18c10eeb4472a4a /Makefile.menhir | |
| parent | 45efec6f22978d18e73f7dd7be29439d16bd180c (diff) | |
| download | compcert-0e9ce30b09291812b14230f14a0614a2deee47a7.tar.gz compcert-0e9ce30b09291812b14230f14a0614a2deee47a7.zip | |
Set [ErrorReports.debug] to [false].
When [debug] is [false], there are a few places where we silently
ignore an error.
This should not make any difference if everything works as planned.
Diffstat (limited to 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions