diff --git a/tools/get_version.sh b/tools/get_version.sh index 72f1a2f..5a1fb0c 100755 --- a/tools/get_version.sh +++ b/tools/get_version.sh @@ -4,7 +4,7 @@ MAJOR=0 MINOR=8 BUILD=0 REVISION=`git rev-list --count HEAD 2>/dev/null || echo "0"` -STAGE="devel" +STAGE="release" printf "$MAJOR.$MINOR.$BUILD.$REVISION-$STAGE"