aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2016-07-21 14:39:00 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2016-07-21 14:39:00 +0200
commit0a38e7727f3c38742704907e0c4dc60da6b99743 (patch)
treec77e9cc64adb350459f71d8937d0895555b93772 /configure
parentf22c32dcda0e8b546e85e8ad95d0ad655e365d38 (diff)
downloadcompcert-0a38e7727f3c38742704907e0c4dc60da6b99743.tar.gz
compcert-0a38e7727f3c38742704907e0c4dc60da6b99743.zip
Added support for quoting for diab backend.
The diab data compiler has different quoting conventions compared to the gnu tools. Bug 18308.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 718f9b83..13927592 100755
--- a/configure
+++ b/configure
@@ -119,7 +119,7 @@ case "$target" in
asm_supports_cfi=false
clinker="${toolprefix}dcc"
libmath="-lm"
- responsefile="unsupported"
+ responsefile="diab"
;;
*)
system="linux"