diff options
Diffstat (limited to 'Utilities/Release/release_cmake.cmake')
| -rw-r--r-- | Utilities/Release/release_cmake.cmake | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Utilities/Release/release_cmake.cmake b/Utilities/Release/release_cmake.cmake index 1b7b138..c1ef5ff 100644 --- a/Utilities/Release/release_cmake.cmake +++ b/Utilities/Release/release_cmake.cmake @@ -4,6 +4,12 @@ get_filename_component(SCRIPT_PATH "${CMAKE_CURRENT_LIST_FILE}" PATH) if(NOT DEFINED CMAKE_RELEASE_DIRECTORY) set(CMAKE_RELEASE_DIRECTORY "~/CMakeReleaseDirectory") endif(NOT DEFINED CMAKE_RELEASE_DIRECTORY) +if(NOT DEFINED MAKE_COMMAND) + message(FATAL_ERROR "MAKE_COMMAND must be set") +endif(NOT DEFINED MAKE_COMMAND) +if(NOT DEFINED MAKE) + set(MAKE "${MAKE_COMMAND}") +endif(NOT DEFINED MAKE) if(NOT DEFINED RUN_SHELL) set(RUN_SHELL "/bin/sh") endif(NOT DEFINED RUN_SHELL) |