From a98bf80c24deb4180e85f150e224f7801a60610b Mon Sep 17 00:00:00 2001 From: Kevin Hester Date: Tue, 25 May 2021 08:06:59 +0800 Subject: [PATCH] fix release script --- bin/promote-release.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bin/promote-release.sh b/bin/promote-release.sh index 98e3d6748..af2457627 100755 --- a/bin/promote-release.sh +++ b/bin/promote-release.sh @@ -1,6 +1,8 @@ +set -e + echo "This script is only for developers who are publishing new builds on github. Most users don't need it" -VERSION=`bin/buildinfo.py` +VERSION=`bin/buildinfo.py short` # Must have a V prefix to trigger github git tag "v${VERSION}"