mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 04:22:27 +01:00
Fix failing test cases on pushbuild
This commit is contained in:
parent
1f07f5c18e
commit
8f68e3ee56
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…
Reference in a new issue