From f625def0779ee274e5ed3bca6f48684d36339706 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Thu, 27 Jul 2017 12:04:18 +0200
Subject: use TMPDIR also for asm-cfi test

---
 configure | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 66db7d12..f54829f4 100755
--- a/configure
+++ b/configure
@@ -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
 
 
-- 
cgit