diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-05-03 17:36:53 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2017-05-03 17:36:53 +0200 |
| commit | 996d8079ef32cbf6c83c458a5df4e548def2d2dc (patch) | |
| tree | f83c126d7d4c5803a82b61cf04bdc7003af55687 /flocq | |
| parent | 2bbb20db14cba7c2a460f58ae84c2526e3bb35aa (diff) | |
| download | compcert-996d8079ef32cbf6c83c458a5df4e548def2d2dc.tar.gz compcert-996d8079ef32cbf6c83c458a5df4e548def2d2dc.zip | |
bug 20956, print correct error message depending on architecture
Diffstat (limited to 'flocq')
0 files changed, 0 insertions, 0 deletions