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 /configure | |
| parent | f5b99eccf7a667fb017692da6712985445a6b0f4 (diff) | |
| download | compcert-ae7797a2e76d0d2900b31340e8e69fef5cd71525.tar.gz compcert-ae7797a2e76d0d2900b31340e8e69fef5cd71525.zip | |
port fix for configure from m-schmidt/EndiannessPlayground
Diffstat (limited to 'configure')
| -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 |