diff --git a/debian/get-orig-source.sh b/debian/get-orig-source.sh
index 5e4875f..ed57486 100644
--- a/debian/get-orig-source.sh
+++ b/debian/get-orig-source.sh
@@ -10,7 +10,7 @@ set -e
 : ${BRANCH=remotes/origin/master}
 
 mkdir debian-orig-source
-trap 'rm -fr debian-orig-source || exit 1' EXIT
+trap 'rm -fr debian-orig-source || exit 1' EXIT INT TERM
 
 git init -q debian-orig-source
 GIT_DIR=$(pwd)/debian-orig-source/.git