build: abort configure scripts upon interrupts

Fix martanne#607
Prodject · Jan 26, 2018 · 30f13eb · 30f13eb
1 parent 45f5446
commit 30f13eb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/configure b/configure
@@ -190,7 +190,8 @@ tmpo="./conf$$-$PPID-$i.o"
 test "$i" -gt 50 && fail "$0: cannot create temporary file $tmpc"
 done
 set +C
-trap 'rm -f "$tmpc" "$tmpo"' EXIT INT QUIT TERM HUP
+trap 'rm -f "$tmpc" "$tmpo"' EXIT QUIT TERM HUP
+trap 'rm -f "$tmpc" "$tmpo" && echo && fail "$0: interrupted"' INT
 
 #
 # Find a C compiler to use