diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-03-30 19:25:49 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-04-20 09:37:39 +0200 |
| commit | 202c96018bf086dd6941bc2483aec0e77d3128ad (patch) | |
| tree | 06c04abc9d6e2ea28593f021278c8f92be42099d /configure | |
| parent | 99c97f7267a803bf92011857f5edbc8597e6b8da (diff) | |
| download | compcert-kvx-202c96018bf086dd6941bc2483aec0e77d3128ad.tar.gz compcert-kvx-202c96018bf086dd6941bc2483aec0e77d3128ad.zip | |
Check for errors after each pass.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions