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 repo mysql56 to mysql-5.6

Browse source
This commit is contained in:
Rich Prohaska 2014-03-14 11:25:35 -04:00
parent d4962b93aa
commit 16bf5686e0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/common.sh
View file

@ -162,7 +162,7 @@ function parse_mysqlbuild() {
fi
mysql_repo=$mysql_distro
# 5.6 is in another repo
if [[ $mysql_distro = mysql && $mysql_version =~ ^5.6 ]] ; then mysql_repo=mysql56; fi
if [[ $mysql_distro = mysql && $mysql_version =~ ^5.6 ]] ; then mysql_repo=mysql-5.6; fi
else
exitcode=1
fi
@ -176,7 +176,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=mysql56; fi
if [[ $mysql_distro = mysql && $mysql_version =~ ^5.6 ]] ; then mysql_repo=mysql-5.6; fi
exitcode=0
else
exitcode=1