diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-23 08:48:48 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-23 08:48:48 +0200 |
| commit | 905012098014efe6ac661ca5fdaa30ba80480296 (patch) | |
| tree | 175ef31b14aae8ed083920ac42402d1846a476a8 /configure | |
| parent | 8fcdd1d52fcaec72edbe2bb93054f007392065f6 (diff) | |
| download | compcert-905012098014efe6ac661ca5fdaa30ba80480296.tar.gz compcert-905012098014efe6ac661ca5fdaa30ba80480296.zip | |
Improved error messages for wrong vararg calls.
Now "expected at least %d" instead of "expected %d". Also improved
error message for __builtin_debug.
Bug 19872
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions