Use GIT rev count for the REVISION number.

2016-08-12 12:38:12 +01:00 · 2016-08-12 12:38:12 +01:00 · 334e2aba45
parent 06442336f2
commit 334e2aba45
1 changed files with 1 additions and 1 deletions
--- a/build/buildAll.sh
+++ b/build/buildAll.sh
@ -1,7 +1,7 @@
 #!/bin/bash -e

 VERSION=`egrep 'VERSION = ([0-9.+])' ../common.mk | awk '{print $3}'`
-REVISION=`date +"%y%m%d"`
+REVISION=`git rev-list HEAD --count`

 mkdir -p ../dist
 rm -rf ../dist/*