Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLevente Polyak <anthraxx@archlinux.org>2019-11-07 22:19:12 +0100
committerLevente Polyak <anthraxx@archlinux.org>2019-11-30 13:21:22 +0100
commit6fffbfbc8af6b1194b977582fe3cb308b550f864 (patch)
treec8e1e64ddfcd3eec40d2b637112280929cf41dd5
parent001726337972f35e1907f6460831c3c3c9d656e4 (diff)
offload-build: catch more signals to be sure SRCPKGDEST gets cleaned
It may be not enough to just listen on EXIT depending on the shell used so lets make sure we clean up SRCPKGDEST by listening to more sigs. Signed-off-by: Levente Polyak <anthraxx@archlinux.org>
-rwxr-xr-xoffload-build2
1 files changed, 1 insertions, 1 deletions
diff --git a/offload-build b/offload-build
index 078796a..688adf3 100755
--- a/offload-build
+++ b/offload-build
@@ -80,7 +80,7 @@ fi
archbuild_cmd=("${repo}${arch:+-$arch}-build" "$@")
-trap 'rm -rf $SRCPKGDEST' EXIT
+trap 'rm -rf $SRCPKGDEST' EXIT INT TERM QUIT
# Use a source-only tarball as an intermediate to transfer files. This
# guarantees the checksums are okay, and guarantees that all needed files are