Skip to content

M
mariadb
Commit de1cbb40 authored by Rich Prohaska's avatar Rich Prohaska
Browse files
Options

#199 rename repo mysql56 to mysql-5.6

parent 3527f774
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
scripts/common.sh
View file @ de1cbb40
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment
GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7