diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-21 09:28:09 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-21 09:28:09 +0100 |
| commit | fdf4cac2439a7168bd005efbde4a1f76a00ada66 (patch) | |
| tree | 22f898c381b61f51cd3389f3c04919c11c854009 /tools | |
| parent | 1fdca8371317e656cb08eaec3adb4596d6447e9b (diff) | |
| download | compcert-fdf4cac2439a7168bd005efbde4a1f76a00ada66.tar.gz compcert-fdf4cac2439a7168bd005efbde4a1f76a00ada66.zip | |
Also ignore windows line endings.
Windows style line endings can end up in the Tokenize pass. This
can lead to some problems for example in pragma processing.
Bug 18316
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions