diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-18 18:54:26 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-18 18:54:26 +0200 |
commit | 927d2a17d656715ea260a57fa914ff65d1a427fe (patch) | |
tree | 2ca228cd7ffa75074ba6641704349a7c61c89bb3 /exportclight | |
parent | 5975b2e5568b5b32e42153d281017660de155e27 (diff) | |
download | compcert-927d2a17d656715ea260a57fa914ff65d1a427fe.tar.gz compcert-927d2a17d656715ea260a57fa914ff65d1a427fe.zip |
Catch errors from Unix for isatty.
There is a bug in the fstat implementation in ocaml 4.03 under windows. In
order to prevent this we guard the isatty function with an additional try
with.
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions