index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | offload-build | 2 |
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 |