mirror of
https://github.com/MariaDB/server.git
synced 2026-05-10 17:14:30 +02:00
automerge: mysql-5.1-rep+2-delivery1 --> mysql-5.1-rpl-merge.
This commit is contained in:
commit
7d970f8285
9 changed files with 110 additions and 28 deletions
|
|
@ -291,6 +291,10 @@ FOREACH(DIR ${DYNAMIC_ENGINE_DIRECTORIES})
|
|||
ADD_SUBDIRECTORY(${DIR})
|
||||
ENDFOREACH(DIR ${DYNAMIC_ENGINE_DIRECTORIES})
|
||||
|
||||
# Add subdirectories for semisync plugin
|
||||
IF(NOT WITHOUT_DYNAMIC_PLUGINS)
|
||||
ADD_SUBDIRECTORY(plugin/semisync)
|
||||
ENDIF(NOT WITHOUT_DYNAMIC_PLUGINS)
|
||||
|
||||
# FIXME "debug" only needed if build type is "Debug", but
|
||||
# CMAKE_BUILD_TYPE is not set during configure time.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue