release: Don't remove OUTPUT_DIR on exit.

This ends up deleting your local copy of the release tarball, which
can be annoying if you need to upload it manually to the GitHub
releases page.
This commit is contained in:
Tim Abbott
2022-08-24 17:03:19 -07:00
parent 5823cc79f1
commit e469cf4bc9

View File

@@ -105,7 +105,6 @@ remote="$(git config zulip.zulipRemote)" || remote=upstream
git push "$remote" "$branch:$branch"
OUTPUT_DIR=$(mktemp -d)
trap 'rm -r "$OUTPUT_DIR"' EXIT
export OUTPUT_DIR
./tools/build-release-tarball "$version"