Update release script to use tags if present

diff --git a/release.sh b/release.sh
index ab4a127dfaaf2e03f4abc9cc06eb3fc85ad294c5..765c42b028044d9e52769811e85dd6bc17e86c62 100755 (executable)
--- a/release.sh
+++ b/release.sh
@@ -8,5 +8,9 @@ cd ..
 rm -rf .git* deps src BUILDING.md release.sh DragonblocksAlpha-*.zip
 cd ..
 mv .build DragonblocksAlpha
-zip -r DragonblocksAlpha-`git rev-parse --short HEAD` DragonblocksAlpha/*
+RELEASE=`git tag --points-at HEAD`
+if [[ $RELEASE = "" ]]; then
+       RELEASE=`git rev-parse --short HEAD`
+fi
+zip -r DragonblocksAlpha-$RELEASE DragonblocksAlpha/*
 rm -rf DragonblocksAlpha