mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 02:51:44 +01:00
#41 support tags like tokudb-7.0.2-rc.3
This commit is contained in:
parent
8195012b57
commit
172da9aec6
1 changed files with 1 additions and 1 deletions
|
@ -152,7 +152,7 @@ function parse_mysqlbuild() {
|
|||
build_debug=0
|
||||
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
|
||||
|
|
Loading…
Add table
Reference in a new issue