mirror of
https://github.com/MariaDB/server.git
synced 2025-02-21 12:53:08 +01:00

don't build the server with jemalloc. only build tokudb with it. move tokudb into a separate package, because it brings a new dependency
6 lines
177 B
INI
6 lines
177 B
INI
[mariadb]
|
|
# See https://mariadb.com/kb/en/tokudb-differences/ for differences
|
|
# between TokuDB in MariaDB and TokuDB from http://www.tokutek.com/
|
|
|
|
plugin-load-add=ha_tokudb.so
|
|
|