diff options
author | Sergei Golubchik <serg@mariadb.org> | 2018-07-13 21:37:22 +0200 |
---|---|---|
committer | Sergei Golubchik <serg@mariadb.org> | 2018-07-19 11:35:38 +0200 |
commit | 33eccb577657a127a877cea53ee4dc41cb4604c2 (patch) | |
tree | dee37b5c7a1f50248685b2e1c4190f87359ff906 /support-files | |
parent | bd5cf02bbe7bce029b0275be1b15d2108806d5e9 (diff) | |
download | mariadb-git-33eccb577657a127a877cea53ee4dc41cb4604c2.tar.gz |
MDEV-11790 WITHOUT_SERVER installs mysqld_safe_helper
Don't install server files if WITHOUT_SERVER is specified.
"Server files" are defined as files going into the MariaDB-Server RPM,
that is files in the components Server, ManPagesServer, Server_Scripts,
IniFiles, SuportFiles, and Readme.
Diffstat (limited to 'support-files')
-rw-r--r-- | support-files/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/support-files/CMakeLists.txt b/support-files/CMakeLists.txt index 5e9fd081a09..cc9eed6c7be 100644 --- a/support-files/CMakeLists.txt +++ b/support-files/CMakeLists.txt @@ -41,12 +41,14 @@ ELSE() SET(inst_location ${INSTALL_SUPPORTFILESDIR}) ENDIF() +IF (NOT WITHOUT_SERVER) FOREACH(inifile my-huge my-innodb-heavy-4G my-large my-medium my-small) CONFIGURE_FILE(${CMAKE_CURRENT_SOURCE_DIR}/${inifile}.cnf.sh ${CMAKE_CURRENT_BINARY_DIR}/${inifile}.${ini_file_extension} @ONLY) INSTALL(FILES ${CMAKE_CURRENT_BINARY_DIR}/${inifile}.${ini_file_extension} DESTINATION ${inst_location} COMPONENT IniFiles) ENDFOREACH() +ENDIF() IF(UNIX) SET(prefix ${CMAKE_INSTALL_PREFIX}) |