VladPolskiy/MariaDB
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-08-16 18:19:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Prevent building WSREP without INNODB

Browse Source
This commit is contained in:
Sauron
2018-02-02 20:12:23 +03:00
committed by Vladislav Vaintroub
parent 743b073c46
commit 54e66eefb8
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
wsrep/CMakeLists.txt
View File

@ -15,6 +15,10 @@
SET(WSREP_SOURCES wsrep_gtid.c wsrep_uuid.c wsrep_loader.c wsrep_dummy.c)
IF(NOT WITH_INNOBASE_STORAGE_ENGINE)
MESSAGE(WARNING "WSRep is enabled, but innodb is not. This configuration is not supported")
ENDIF()
ADD_CONVENIENCE_LIBRARY(wsrep ${WSREP_SOURCES})
DTRACE_INSTRUMENT(wsrep)