diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-25 17:50:58 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-25 17:50:58 +0100 |
commit | fb3ca7666c734010eb038851830fbb4e41b5fcb0 (patch) | |
tree | f22b8ff88c6043c4d3552323fcb8ac992bf00821 /cparser/Cerrors.ml | |
parent | 89bd87cab8e6216b1f87389f93424468710e5f21 (diff) | |
download | compcert-fb3ca7666c734010eb038851830fbb4e41b5fcb0.tar.gz compcert-fb3ca7666c734010eb038851830fbb4e41b5fcb0.zip |
Allow .sx files for preprocessed assembler files.
GCC treats files with .sx extension in the same way as it treats
files with .S suffix.
Diffstat (limited to 'cparser/Cerrors.ml')
0 files changed, 0 insertions, 0 deletions