diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-08-07 11:06:28 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-08-07 11:06:28 +0200 |
commit | ae7797a2e76d0d2900b31340e8e69fef5cd71525 (patch) | |
tree | ed80a44b119a3c80cace09af83a942878ac70f12 | |
parent | f5b99eccf7a667fb017692da6712985445a6b0f4 (diff) | |
download | compcert-ae7797a2e76d0d2900b31340e8e69fef5cd71525.tar.gz compcert-ae7797a2e76d0d2900b31340e8e69fef5cd71525.zip |
port fix for configure from m-schmidt/EndiannessPlayground
-rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -314,6 +314,11 @@ if test "$arch" = "ia32"; then esac fi +# +# Finalize Target Configuration +# +if test -z "$casmruntime"; then casmruntime="$casm $casm_options"; fi + # # Test Assembler Support for CFI Directives |