mirror of
https://github.com/MariaDB/server.git
synced 2026-04-21 15:55:53 +02:00
Fix failing test cases on pushbuild
This commit is contained in:
parent
cdb8cafb27
commit
6625d6b905
1 changed files with 5 additions and 2 deletions
|
|
@ -113,9 +113,12 @@ MACRO(MYSQL_ADD_PLUGIN)
|
|||
SET (MYSQLD_STATIC_PLUGIN_LIBS ${MYSQLD_STATIC_PLUGIN_LIBS}
|
||||
${target} CACHE INTERNAL "" FORCE)
|
||||
|
||||
IF(NOT ARG_MANDATORY)
|
||||
IF(ARG_MANDATORY)
|
||||
SET(${with_var} ON CACHE INTERNAL "Link ${plugin} statically to the server"
|
||||
FORCE)
|
||||
ELSE()
|
||||
SET(${with_var} ON CACHE BOOL "Link ${plugin} statically to the server"
|
||||
FORCE)
|
||||
FORCE)
|
||||
ENDIF()
|
||||
|
||||
IF(ARG_MANDATORY)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue