mirror of
https://github.com/MariaDB/server.git
synced 2026-05-16 20:07:13 +02:00
Merge lp:maria -> lp:~maria-captains/maria/maria-5.1-merge
This commit is contained in:
commit
151e5d586c
190 changed files with 9424 additions and 3375 deletions
|
|
@ -51,6 +51,8 @@ SET(MARIA_SOURCES ma_init.c ma_open.c ma_extra.c ma_info.c ma_rkey.c
|
|||
MYSQL_STORAGE_ENGINE(MARIA)
|
||||
IF(NOT SOURCE_SUBLIBS)
|
||||
|
||||
ADD_DEPENDENCIES(maria GenError)
|
||||
|
||||
ADD_EXECUTABLE(maria_ftdump maria_ftdump.c)
|
||||
TARGET_LINK_LIBRARIES(maria_ftdump maria myisam mysys dbug strings zlib wsock32)
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue