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