diff options
Diffstat (limited to 'cmake_common.cmake')
-rw-r--r-- | cmake_common.cmake | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/cmake_common.cmake b/cmake_common.cmake index f3a4cb34b5..2d7091a731 100644 --- a/cmake_common.cmake +++ b/cmake_common.cmake @@ -193,6 +193,17 @@ if(EXISTS ${CTEST_SOURCE_DIRECTORY}) if(CTEST_GIT_COMMAND) if(NOT EXISTS "${CTEST_SOURCE_DIRECTORY}/.git") set(vcs_refresh "because it is not managed by git.") + else() + execute_process( + COMMAND ${CTEST_GIT_COMMAND} reset --hard + WORKING_DIRECTORY "${CTEST_SOURCE_DIRECTORY}" + OUTPUT_VARIABLE output + ERROR_VARIABLE output + RESULT_VARIABLE failed + ) + if(failed) + set(vcs_refresh "because its .git may be corrupted.") + endif() endif() endif() if(vcs_refresh AND "${CTEST_SOURCE_DIRECTORY}" MATCHES "/CMake[^/]*") |