diff options
Diffstat (limited to '.gitlab')
| -rw-r--r-- | .gitlab/ci/configure_common.cmake | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab/ci/configure_common.cmake b/.gitlab/ci/configure_common.cmake index 4585224..df49b2d 100644 --- a/.gitlab/ci/configure_common.cmake +++ b/.gitlab/ci/configure_common.cmake @@ -1,7 +1,7 @@ -set(CTEST_USE_LAUNCHERS "ON" CACHE STRING "") +set(CTEST_USE_LAUNCHERS "ON" CACHE BOOL "") # We run the install right after the build. Avoid rerunning it when installing. -set(CMAKE_SKIP_INSTALL_ALL_DEPENDENCY "ON" CACHE STRING "") +set(CMAKE_SKIP_INSTALL_ALL_DEPENDENCY "ON" CACHE BOOL "") # Install CMake under the build tree. set(CMAKE_INSTALL_PREFIX "${CMAKE_BINARY_DIR}/install" CACHE PATH "") set(CMake_TEST_INSTALL "OFF" CACHE BOOL "") |