mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-02-01 11:31:51 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

DB-802 make.mysql.bash should extract and use the tokudb version as the git tag. there was a broken RE

Browse source
This commit is contained in:
Rich Prohaska 2015-01-21 17:35:50 -05:00
parent e7f48475d9
commit 64480bbe80
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/common.sh
View file

@ -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