diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2015-06-13 00:36:02 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-06-15 14:06:21 +0200 |
commit | c78e8d35d6431fa9119c863c3b58aed1f53ed4a5 (patch) | |
tree | fc09038bf3ab54daad223db51d585ec8902b7caa /printing | |
parent | 41d63ab4c702457556d2a0680940d04cd4e33179 (diff) |
Native compiler: do not catch exceptions not related to dynlink.
Was making the study of bugs like #4139 painful.
Now printing a better error message when a compiled file is missing.
Diffstat (limited to 'printing')
0 files changed, 0 insertions, 0 deletions