mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 13:02:28 +01:00
Merge branch 'master' of github.com:Tokutek/ft-engine
This commit is contained in:
commit
33ba98debd
2 changed files with 2 additions and 1 deletions
|
@ -112,6 +112,7 @@ TOKUDB_LOCKTREE_WAIT_COUNT
|
|||
TOKUDB_LOCKTREE_WAIT_ESCALATION_COUNT
|
||||
TOKUDB_LOCKTREE_WAIT_ESCALATION_TIME
|
||||
TOKUDB_LOCKTREE_WAIT_TIME
|
||||
TOKUDB_LOGGER_WAIT_LONG
|
||||
TOKUDB_LOGGER_WRITES
|
||||
TOKUDB_LOGGER_WRITES_BYTES
|
||||
TOKUDB_LOGGER_WRITES_SECONDS
|
||||
|
|
|
@ -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