Append .zip to ZIP files generated by release script

2021-03-29 15:49:08 +02:00 · 2021-03-29 15:49:08 +02:00 · a19b87004a
parent 5801441902
commit a19b87004a
1 changed files with 1 additions and 1 deletions
--- a/release.sh
+++ b/release.sh
@ -12,5 +12,5 @@ RELEASE=`git tag --points-at HEAD`
 if [[ $RELEASE = "" ]]; then
 	RELEASE=`git rev-parse --short HEAD`
 fi
-zip -r DragonblocksAlpha-$RELEASE DragonblocksAlpha/*
+zip -r DragonblocksAlpha-$RELEASE.zip DragonblocksAlpha/*
 rm -rf DragonblocksAlpha