diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-30 17:58:22 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-30 17:58:22 +0100 |
| commit | 05f604d7f6e5ca3a0b005ae7ae1073f2b9e83207 (patch) | |
| tree | de315f996fc09dfb0e21d2737afff9abb7a09981 /debug | |
| parent | 730966facd095f87620aa8d0798ccac7e36aa589 (diff) | |
| download | compcert-kvx-05f604d7f6e5ca3a0b005ae7ae1073f2b9e83207.tar.gz compcert-kvx-05f604d7f6e5ca3a0b005ae7ae1073f2b9e83207.zip | |
Open files in binary mode.
On windows opening files in text mode can result in errors due to
non-windows compatible input. Thus open files only in binary mode.
Bug 17664
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions