1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index 9b867cd..d31456b 100755
--- 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