diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-07 16:50:40 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-07 16:50:40 +0200 |
commit | 0c7c17e087d91a8a61c5679df45f4b09c286d08b (patch) | |
tree | c6574ef69cdb984d19ddab895977d96b17090adc /configure | |
parent | 4148ee08387bf953bdbe69f7668597ec0bcccc29 (diff) | |
download | compcert-0c7c17e087d91a8a61c5679df45f4b09c286d08b.tar.gz compcert-0c7c17e087d91a8a61c5679df45f4b09c286d08b.zip |
Added an define to avoid the inclusion of the diab va_list header which defined the incompatible vararg type.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -113,7 +113,7 @@ case "$target" in struct_return="int1-8" system="diab" cc="${toolprefix}dcc" - cprepro="${toolprefix}dcc -E" + cprepro="${toolprefix}dcc -E -D__Iva_list" casm="${toolprefix}das" asm_supports_cfi=false clinker="${toolprefix}dcc" |