diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-21 14:39:00 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-21 14:39:00 +0200 |
commit | 0a38e7727f3c38742704907e0c4dc60da6b99743 (patch) | |
tree | c77e9cc64adb350459f71d8937d0895555b93772 /configure | |
parent | f22c32dcda0e8b546e85e8ad95d0ad655e365d38 (diff) | |
download | compcert-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-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -119,7 +119,7 @@ case "$target" in asm_supports_cfi=false clinker="${toolprefix}dcc" libmath="-lm" - responsefile="unsupported" + responsefile="diab" ;; *) system="linux" |