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 c07212ad60
commit b8c362c991
1 changed files with 0 additions and 1 deletions

View File

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