From 849820219e84e251ad99121f738456f3743ba4fa Mon Sep 17 00:00:00 2001 From: Brad King Date: Wed, 18 Jan 2012 09:12:00 -0500 Subject: cmake_common: Remove source tree when .git is corrupted Some dashboard builds run on scratch disks that arbitrarily remove files that have not been accessed in a while. Since Git uses O_NOATIME for repository objects the .git repository files may disappear thus corrupting the repository. When this happens even "git reset --hard" will fail, so wipe out the source tree to get a fresh clone. --- cmake_common.cmake | 11 +++++++++++ 1 file changed, 11 insertions(+) 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[^/]*") -- cgit v1.2.1