fix release script

2025-12-14 14:52:32 +00:00 · 2021-05-25 08:06:59 +08:00
1 changed files with 3 additions and 1 deletions
--- 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}"