mirror of
https://github.com/MariaDB/server.git
synced 2026-04-21 07:45:32 +02:00
MDEV-7161: Build failure in buildbot on work-amd64-valgrind
Fix for embedded build failure. Also added wsrep_info plugin library to server debian package.
This commit is contained in:
parent
369c02674c
commit
deffb95bc2
3 changed files with 3 additions and 1 deletions
|
|
@ -1,5 +1,5 @@
|
|||
IF (WITH_WSREP)
|
||||
INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR}/sql
|
||||
${CMAKE_SOURCE_DIR}/wsrep)
|
||||
MYSQL_ADD_PLUGIN(WSREP_STATUS plugin.cc)
|
||||
MYSQL_ADD_PLUGIN(WSREP_STATUS plugin.cc MODULE_ONLY)
|
||||
ENDIF()
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue