diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-14 10:09:34 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-14 10:18:00 +0100 |
commit | 27beb944ff6ff18ea612c116e414eb40ce1320a6 (patch) | |
tree | 0f8404d343ac7c95ed3351053984f8fda6f8e703 /cil/src/escape.mli | |
parent | e87f24575e79e7866b132f0a970cf6f82d115b88 (diff) | |
download | compcert-27beb944ff6ff18ea612c116e414eb40ce1320a6.tar.gz compcert-27beb944ff6ff18ea612c116e414eb40ce1320a6.zip |
Do not use -warn-error when building from a release tarball
Stopping on warnings is useful for development builds, but unhelpful
for released software.
Diffstat (limited to 'cil/src/escape.mli')
0 files changed, 0 insertions, 0 deletions