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}"