Adjust contrib/commit-name.sh to new version number format

Assumes the change to take place when switching VERSION to 0.6.0-dev.
JuliaLang · Jul 26, 2016 · 69b4bfe · 69b4bfe
1 parent 059910e
commit 69b4bfe
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/contrib/commit-name.sh b/contrib/commit-name.sh
@@ -32,7 +32,11 @@ else
         nb=$(expr $nb + 5578)
     fi
     if [ -n "$pre" ]; then
-        echo "$ver+$nb"
+        if [ $major = 0 -a $minor -le 5 ]; then
+            echo "$ver+$nb"
+        else
+            echo "$ver.$nb"
+        fi
     else
         echo $ver
     fi