diff options
author | Sergei Golubchik <sergii@pisem.net> | 2012-09-17 17:42:14 +0200 |
---|---|---|
committer | Sergei Golubchik <sergii@pisem.net> | 2012-09-17 17:42:14 +0200 |
commit | 076f2f322e6e983f69c73878c9d56dde964d1d59 (patch) | |
tree | b7e2faaa2b545020e81e555735fccac2a5afd96d | |
parent | 456b01b09b7675396fbf8525b0bbaa497a7fa0a4 (diff) | |
download | mariadb-git-076f2f322e6e983f69c73878c9d56dde964d1d59.tar.gz |
really disable embedded server in galera builds
-rw-r--r-- | cmake/wsrep.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/wsrep.cmake b/cmake/wsrep.cmake index 5bfc39c66e6..bfdf477d421 100644 --- a/cmake/wsrep.cmake +++ b/cmake/wsrep.cmake @@ -53,7 +53,7 @@ IF (WITH_WSREP) SET(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${WSREP_C_FLAGS}") SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${WSREP_C_FLAGS}") SET(COMPILATION_COMMENT "${COMPILATION_COMMENT}, wsrep_${WSREP_VERSION}") - SET(WITH_EMBEDDED_SERVER OFF) + SET(WITH_EMBEDDED_SERVER OFF CACHE INTERNAL "" FORCE) ENDIF() # |