mirror of
https://github.com/MariaDB/server.git
synced 2026-04-26 18:25:30 +02:00
Automatic merge
This commit is contained in:
commit
10001c8e4f
141 changed files with 3019 additions and 814 deletions
|
|
@ -352,6 +352,7 @@ MYSQL_CHECK_SSL()
|
|||
# Add readline or libedit.
|
||||
MYSQL_CHECK_READLINE()
|
||||
|
||||
SET(MALLOC_LIBRARY "system")
|
||||
CHECK_JEMALLOC()
|
||||
|
||||
#
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue