improve builds

2021-01-21 23:04:47 +03:30
parent 7e4b495398
commit 39ed134f96
2 changed files with 11 additions and 8 deletions
@@ -4,5 +4,7 @@ set -e
 mkdir -p repo/

 revision=$(git rev-list master --count)
+# add zero padding
+revision=$(printf %04d $revision)

 cp server/build/server-1.0-all.jar "repo/server-r$revision.jar"