mirror of
https://github.com/MariaDB/server.git
synced 2026-05-02 13:15:32 +02:00
fix tokudb version
This commit is contained in:
parent
c722e5f25f
commit
a4ab2431a2
1 changed files with 1 additions and 1 deletions
|
|
@ -14,7 +14,7 @@ IF(NOT TOKUDB_OK OR WITHOUT_TOKUDB OR WITHOUT_TOKUDB_STORAGE_ENGINE)
|
|||
ENDIF()
|
||||
|
||||
############################################
|
||||
SET(TOKUDB_VERSION "7.1.6")
|
||||
SET(TOKUDB_VERSION "7.1.7")
|
||||
SET(TOKUDB_DEB_FILES "usr/lib/mysql/plugin/ha_tokudb.so\netc/mysql/conf.d/tokudb.cnf\nusr/bin/tokuftdump\nusr/share/doc/mariadb-server-5.5/README-TOKUDB\nusr/share/doc/mariadb-server-5.5/README.md" PARENT_SCOPE)
|
||||
SET(USE_BDB OFF CACHE BOOL "")
|
||||
SET(USE_VALGRIND OFF CACHE BOOL "")
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue