Commit e12ebb98 by Christophe Geuzaine

clone if dir does not exist

parent b44479d0
Pipeline #45 passed with stage
in 20 minutes 49 seconds
Showing with 1 additions and 1 deletions
......@@ -27,7 +27,7 @@ set(CTEST_GIT_REPOS http://gitlab.onelab.info/gmsh/gmsh.git)
if(NOT EXISTS "${CTEST_SOURCE_DIRECTORY}")
set(CTEST_CHECKOUT_COMMAND
"${CTEST_GIT_COMMAND} pull ${CTEST_GIT_REPOS} ${CTEST_SOURCE_DIRECTORY}")
"${CTEST_GIT_COMMAND} clone ${CTEST_GIT_REPOS} ${CTEST_SOURCE_DIRECTORY}")
endif(NOT EXISTS "${CTEST_SOURCE_DIRECTORY}")
set(CTEST_UPDATE_COMMAND "${CTEST_GIT_COMMAND}")
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or sign in to comment