Ignore the EXTRA_VERSION when it's too long to be a number
and is one of:
* an abbreviated hash (should not happen :)
* the 'dirty' string (in a modified tree just after a release)
MICRO_VERSION=`echo $GIT_VERSION | awk -F- '{print $1}' | awk -F. '{print $3}'`
EXTRA_VERSION=`echo $GIT_VERSION | awk -F- '{print $2}'`
MICRO_VERSION=`echo $GIT_VERSION | awk -F- '{print $1}' | awk -F. '{print $3}'`
EXTRA_VERSION=`echo $GIT_VERSION | awk -F- '{print $2}'`
-if test \( "x$EXTRA_VERSION" != "x" \); then
+if test \( "x$EXTRA_VERSION" != "x" -a `echo -n $EXTRA_VERSION | wc -c` -lt 5 \); then
VERSION=${MAJOR_VERSION}.${MINOR_VERSION}.${MICRO_VERSION}git${EXTRA_VERSION}
else
VERSION=${MAJOR_VERSION}.${MINOR_VERSION}.${MICRO_VERSION}
VERSION=${MAJOR_VERSION}.${MINOR_VERSION}.${MICRO_VERSION}git${EXTRA_VERSION}
else
VERSION=${MAJOR_VERSION}.${MINOR_VERSION}.${MICRO_VERSION}