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 /makechrootpkg.in | |
parent | 001726337972f35e1907f6460831c3c3c9d656e4 (diff) | |
download | devtools-6fffbfbc8af6b1194b977582fe3cb308b550f864.tar.gz devtools-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>
Diffstat (limited to 'makechrootpkg.in')
0 files changed, 0 insertions, 0 deletions