aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-07-07 16:50:40 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2015-07-07 16:50:40 +0200
commit0c7c17e087d91a8a61c5679df45f4b09c286d08b (patch)
treec6574ef69cdb984d19ddab895977d96b17090adc /configure
parent4148ee08387bf953bdbe69f7668597ec0bcccc29 (diff)
downloadcompcert-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-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 84fed376..4d3e812d 100755
--- a/configure
+++ b/configure
@@ -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"