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 /VERSION | |
| parent | e87f24575e79e7866b132f0a970cf6f82d115b88 (diff) | |
| download | compcert-kvx-27beb944ff6ff18ea612c116e414eb40ce1320a6.tar.gz compcert-kvx-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 'VERSION')
0 files changed, 0 insertions, 0 deletions