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

#199 rename mysql and mariadb repos

Browse source
This commit is contained in:
Rich Prohaska 2014-03-20 13:19:23 -04:00
parent a95eb9505d
commit 8d6de95c03
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scripts/common.sh
View file

@ -161,8 +161,7 @@ function parse_mysqlbuild() {
if [ -z $jemalloc_tree ] ; then jemalloc_tree=$jemalloc_version; fi
fi
mysql_repo=$mysql_distro
# 5.6 is in another repo
if [[ $mysql_distro = mysql && $mysql_version =~ ^5.6 ]] ; then mysql_repo=mysql-5.6; fi
if [[ $mysql_version =~ ^([0-9]+\\.[0-9]+) ]] ; then mysql_repo=$mysql_distro-${BASH_REMATCH[1]}; else exitcode=1; fi
else
exitcode=1
fi
@ -176,7 +175,7 @@ function parse_mysql() {
mysql_distro=${BASH_REMATCH[1]}
mysql_version=${BASH_REMATCH[2]}
mysql_repo=$mysql_distro
if [[ $mysql_distro = mysql && $mysql_version =~ ^5.6 ]] ; then mysql_repo=mysql-5.6; fi
if [[ $mysql_version =~ ^([0-9]+\\.[0-9]+) ]] ; then mysql_repo=$mysql_distro-${BASH_REMATCH[1]}; else exitcode=1; fi
exitcode=0
else
exitcode=1