diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-13 16:03:39 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-13 16:03:39 +0000 |
| commit | 88613c0f5415a0d3f2e0e0e9ff74bd32b6b4685e (patch) | |
| tree | feb09242e779260042979d49ed61252745849d60 /common | |
| parent | 16ef95d7d7df64e28f6ba4ad24457b946563bc2e (diff) | |
Nicer reporting of I/O errors (e.g. "No such file").
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2564 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions