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

Update make.mysql.debug.env.bash to support remote branches when cloned locally

Browse source
This commit is contained in:
Yoni Fogel 2013-07-10 15:30:23 -07:00
parent 9d7899ed99
commit f8277efc05
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scripts/make.mysql.debug.env.bash
View file

@ -39,7 +39,11 @@ function github_clone() {
pushd $repo
if [ $? != 0 ] ; then exit 1; fi
if [ -z $git_tag ] ; then
git checkout $tree
if ! git branch | grep "\<$tree\>" > /dev/null && git branch -a | grep "remotes/origin/$tree\>" > /dev/null; then
git checkout --track origin/$tree
else
git checkout $tree
fi
else
git checkout $git_tag
fi