Merge branch 'master' into releases/tokudb-7.5

2015-01-21 17:36:04 -05:00 · 2015-01-21 17:36:04 -05:00 · c30c109302
commit c30c109302
parent b54a7af40d 64480bbe80
1 changed files with 1 additions and 1 deletions
--- a/scripts/common.sh
+++ b/scripts/common.sh
@ -163,7 +163,7 @@ function parse_mysqlbuild() {
        fi

        # set tag or HEAD
-        if [[ $temp_tokudb_version =~ ^([0-9]+)\\.([0-9]+)\\.([0-9]+) ]] ; then
+        if [[ $temp_tokudb_version =~ ^([0-9]+)\.([0-9]+)\.([0-9]+) ]] ; then
            git_tag=tokudb-$temp_tokudb_version
        else
            git_tag=HEAD