debian: kill children if we exit unexpectedly

diff --git a/debian/util.sh b/debian/util.sh
index 850558b1f40c067ae3539851cc5a75d7c0ea9dea..2f7362a26c058e38a2ccc3d265593628a3d92b24 100755 (executable)
--- a/debian/util.sh
+++ b/debian/util.sh
@@ -305,6 +305,7 @@ build_all () {
   mkdir -p ../log
   > ../log/changes
   echo; echo; echo; echo
+  trap 'echo "Killing children...">&2; for x in $(jobs -p); do kill $x; done' EXIT
   if [ "${orig:0:2}" = ".." ]; then
     for distro in $distros; do
       echo "Creating $distro dsc..." >&2
@@ -328,6 +329,7 @@ build_all () {
     done
     ! $par || wait
   fi
+  trap - EXIT
   cat ../log/changes
 }