diff options
| author | Levente Polyak <anthraxx@archlinux.org> | 2019-11-07 22:19:12 +0100 |
|---|---|---|
| committer | Levente Polyak <anthraxx@archlinux.org> | 2019-11-30 13:21:22 +0100 |
| commit | 6fffbfbc8af6b1194b977582fe3cb308b550f864 (patch) | |
| tree | c8e1e64ddfcd3eec40d2b637112280929cf41dd5 | |
| parent | 001726337972f35e1907f6460831c3c3c9d656e4 (diff) | |
| download | devtools32-6fffbfbc8af6b1194b977582fe3cb308b550f864.tar.xz | |
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-x | offload-build | 2 |
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 |