configure: exit on interruption

FlexibleSUSY · Apr 13, 2014 · 0d4e2b8 · 0d4e2b8
1 parent 6903340
commit 0d4e2b8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/configure b/configure
@@ -1768,7 +1768,8 @@ the Free Software Foundation, either version 3 of the License, or
 EOF
 }
 
-trap do_actions_at_exit 0 INT QUIT TERM
+trap "do_actions_at_exit" 0
+trap "do_actions_at_exit; trap - 0; exit 1" INT QUIT TERM
 
 rm -f $logfile
 write_configure_parameters "$*"