1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Added missing installation target (merge MDEV-18565 from 10.2 into 10.3)

This commit is contained in:
Julius Goryavsky
2019-07-17 12:59:27 +02:00
parent 0f83c8878d
commit 4c7a92a565

View File

@ -37,6 +37,9 @@ SET(INSTALL_ARGS
)
INSTALL(TARGETS my_safe_process ${INSTALL_ARGS})
IF(WITH_WSREP)
INSTALL(TARGETS wsrep_check_version ${INSTALL_ARGS})
ENDIF()
IF (WIN32)
INSTALL(TARGETS my_safe_kill ${INSTALL_ARGS})
ENDIF()