diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-16 10:23:29 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-16 16:29:34 +0100 |
commit | 455b3384f85a23923001741d6b04deb88e997fd2 (patch) | |
tree | ca672642983cbc178bd4db6d8c5d0791923156ab | |
parent | 95395781f2cc8ae8cd4e9a167795f594e3b6dc23 (diff) | |
download | compcert-455b3384f85a23923001741d6b04deb88e997fd2.tar.gz compcert-455b3384f85a23923001741d6b04deb88e997fd2.zip |
Rename abi for ppc-linux targets.
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -227,16 +227,17 @@ if test "$arch" = "powerpc"; then case "$target" in linux) + abi="linux" struct_return="ref" ;; *) struct_return="int1-8" + abi="eabi" ;; esac case "$target" in eabi-diab) - abi="eabi" asm_supports_cfi=false casm="${toolprefix}das" casm_options="-Xalign-value" @@ -251,7 +252,6 @@ if test "$arch" = "powerpc"; then responsefile="diab" ;; *) - abi="eabi" casm="${toolprefix}gcc" casm_options="-c" casmruntime="${toolprefix}gcc -c -Wa,-mregnames" |