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 | |
| 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')
0 files changed, 0 insertions, 0 deletions