index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | lib/common.sh | 2 |
diff --git a/lib/common.sh b/lib/common.sh index 6bbf6de..5c144e2 100644 --- a/lib/common.sh +++ b/lib/common.sh @@ -62,7 +62,7 @@ setup_workdir() { } cleanup() { - trap - EXIT INT QUIT TERM + trap - EXIT INT QUIT TERM HUP [[ -n $WORKDIR ]] && rm -rf "$WORKDIR" [[ $1 ]] && exit $1 |