mirror of
https://github.com/MariaDB/server.git
synced 2025-01-20 22:12:30 +01:00
change default debug mysql tree to mysql-5.5.35
This commit is contained in:
parent
3ec9648f3d
commit
490115321d
1 changed files with 1 additions and 1 deletions
|
@ -55,7 +55,7 @@ function github_clone() {
|
|||
|
||||
git_tag=
|
||||
mysql=mysql
|
||||
mysql_tree=mysql-5.5.34
|
||||
mysql_tree=mysql-5.5.35
|
||||
jemalloc=jemalloc
|
||||
jemalloc_tree=3.3.1
|
||||
ftengine=ft-engine
|
||||
|
|
Loading…
Reference in a new issue