Maintenance: Fix mkrelease.sh script (#237)

Release of 4.1 revealed that this regex is not fully working.
The final .NN version field is now optional.

diff --git a/mkrelease.sh b/mkrelease.sh
index 10d5398cca254028f277c3d58a7d917171d2485f..a52d34fdbf6315986b56daa4e242cd4cd15228cc 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\.]\)*\)'`
 if test "$rev" != "$checkrev" ; then
        echo "revision '$rev' has incorrect syntax.  Should be like '3.1.0.1'"
        exit 1;