blob: 5a4574c3786ba9a534ad03fca99c36e18ee832fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
execute_process(COMMAND "${PYTHON_EXECUTABLE}" -c
"import os; os.kill(os.getpid(),11)"
COMMAND ${CMAKE_COMMAND} -E true
RESULT_VARIABLE result
)
if(result EQUAL "0")
execute_process(COMMAND "${PYTHON_EXECUTABLE}" -c
"import os; os.kill(os.getpid(),11)"
COMMAND ${CMAKE_COMMAND} -E true
COMMAND_ERROR_IS_FATAL LAST
)
endif()
|