Use defined REVISION number, rather than git rev count.
This commit is contained in:
parent
ab55f19e75
commit
6158e35fb2
|
@ -1,7 +1,7 @@
|
|||
#!/bin/bash -e
|
||||
|
||||
VERSION=`egrep 'VERSION = ([0-9.+])' ../common.mk | awk '{print $3}'`
|
||||
REVISION=`git rev-list HEAD --count`
|
||||
REVISION=`egrep 'REVISION = ([0-9.+])' ../common.mk | awk '{print $3}'`
|
||||
|
||||
mkdir -p ../dist
|
||||
rm -rf ../dist/*
|
||||
|
|
Loading…
Reference in New Issue