diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-11 14:37:35 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-11 14:37:35 +0100 |
commit | ca055fc22c3b9d0ac6bbd394562933aa3e044c95 (patch) | |
tree | 1fc60a3fe7ed6b3a442cf733839663efd9f1267b /cfrontend/SimplExpr.v | |
parent | 69d6a2c1e08e6169af95bf895d6b0380edb0d081 (diff) | |
download | compcert-ca055fc22c3b9d0ac6bbd394562933aa3e044c95.tar.gz compcert-ca055fc22c3b9d0ac6bbd394562933aa3e044c95.zip |
More descriptive error message for failed command.
CompCert now prints if the assembler, linker or preprocessor
command failed and a hint for the user to get the full command
line.
Bug 17894
Diffstat (limited to 'cfrontend/SimplExpr.v')
0 files changed, 0 insertions, 0 deletions