diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-09 09:53:12 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-09 09:53:12 +0100 |
| commit | 857e746959f1eb9d0158073114d5ae0aa1c2fc1f (patch) | |
| tree | 63e38025de7e855da2e3aec1a5220de03313dd1d /configure | |
| parent | d8da506981905752f84165f622fdf0ee26011744 (diff) | |
| download | compcert-857e746959f1eb9d0158073114d5ae0aa1c2fc1f.tar.gz compcert-857e746959f1eb9d0158073114d5ae0aa1c2fc1f.zip | |
Added error summary in case of fatal error.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions