mkrelease: allow two digits for minor release numbers (#1837)

Fix a bug with mkrelease.sh which would
incorrectly abort unless the minor release is
only a single digit number

diff --git a/mkrelease.sh b/mkrelease.sh
index 5185aff4ac521ac22e178ee703ea54701ffcb5f9..2cf3d007c04cde7a6af84cc94b3da35a0ba0f87c 100755 (executable)
--- a/mkrelease.sh
+++ b/mkrelease.sh
@@ -25,7 +25,7 @@ RELEASE_TIME=`date +%s`
 #
 # check that $rev has the right syntax
 #
-checkrev=`expr $rev : '\([0-9]\.[0-9]\(\.[0-9\.]\)*\)'`
+checkrev=`expr $rev : '\([0-9]\.[0-9][0-9]*\(\.[0-9\.]\)*\)'`
 if test "$rev" != "$checkrev" ; then
        echo "revision '$rev' has incorrect syntax.  Should be like '3.1.0.1'"
        exit 1;