diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-06-20 19:07:08 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-06-20 19:07:08 +0200 |
commit | 5c8f3c230d0aafa62b251f4211b912f1de301862 (patch) | |
tree | 3989c321d479968c5ed4789c12b4d3f160f0830d /common/Switchaux.ml | |
parent | d357b5c52fb9ac70679fa8abd47094e89a6c3fa1 (diff) | |
download | compcert-5c8f3c230d0aafa62b251f4211b912f1de301862.tar.gz compcert-5c8f3c230d0aafa62b251f4211b912f1de301862.zip |
Harden the configure script against \r\n end of lines
Fixes: #434
Diffstat (limited to 'common/Switchaux.ml')
0 files changed, 0 insertions, 0 deletions