summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDiego Biurrun <diego@biurrun.de>2014-09-21 11:48:21 +0200
committerDiego Biurrun <diego@biurrun.de>2017-01-29 20:17:46 +0100
commitba6a49e60bdd61b6d02c2b26daa01942c35f39cc (patch)
tree7b3b7c62100ff00ca825ed6cb767a13eea5f3885
parent78489822074096e3ae0f3c3b70accace955086f6 (diff)
configure: Clean up temporary files on interrupt
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index a46e670ecd..9c277fa3c2 100755
--- a/configure
+++ b/configure
@@ -2976,6 +2976,7 @@ tmpfile(){
}
trap 'rm -rf -- "$AVTMPDIR"' EXIT
+trap 'exit 2' INT
tmpfile TMPASM .asm
tmpfile TMPC .c