diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-07-27 12:04:18 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2017-07-27 12:04:18 +0200 |
| commit | f625def0779ee274e5ed3bca6f48684d36339706 (patch) | |
| tree | b130073af0c75265b4273f21e47c92ebe3d16e20 | |
| parent | ede6344f3791e406cfd3042ab5a2395d09ff16a1 (diff) | |
| download | compcert-f625def0779ee274e5ed3bca6f48684d36339706.tar.gz compcert-f625def0779ee274e5ed3bca6f48684d36339706.zip | |
use TMPDIR also for asm-cfi test
| -rwxr-xr-x | configure | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -432,9 +432,9 @@ EOF # if test "$target" != "manual" && test -z "$asm_supports_cfi"; then echo "Testing assembler support for CFI directives... " | tr -d '\n' - f=/tmp/compcert-configure-$$.s - rm -f $f - cat >> $f <<EOF + tmpsrc="${TMPDIR:-/tmp}/compcert-configure-$$.s" + rm -f "$tmpsrc" + cat >> "$tmpsrc" <<EOF testfun: .file 1 "testfun.c" .loc 1 1 @@ -442,11 +442,11 @@ testfun: .cfi_adjust_cfa_offset 16 .cfi_endproc EOF - if $casm $casm_options -o /dev/null $f 2>/dev/null + if $casm $casm_options -o /dev/null "$tmpsrc" 2>/dev/null then echo "yes"; asm_supports_cfi=true else echo "no"; asm_supports_cfi=false fi - rm -f $f + rm -f "$tmpsrc" fi |