From a8c16bc1276e9b23bac1cf0680f36dbb45d29da9 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Wed, 4 Sep 2013 08:07:24 -0400 Subject: [PATCH] Fix test coverage problem by forcing to use gcov-4.8 --- src/CTestConfig.cmake | 1 + 1 file changed, 1 insertion(+) diff --git a/src/CTestConfig.cmake b/src/CTestConfig.cmake index 6bfcbb182..eb673f54f 100644 --- a/src/CTestConfig.cmake +++ b/src/CTestConfig.cmake @@ -20,3 +20,4 @@ set(CTEST_DROP_LOCATION "/CDash-2-0-2/submit.php?project=Lean") set(CTEST_DROP_SITE_CDASH TRUE) set(UPDATE_COMMAND "git") +set(COVERAGE_COMMAND "gcov-4.8")