michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix test coverage problem by forcing to use gcov-4.8

Browse source
This commit is contained in:
Soonho Kong 2013-09-04 08:07:24 -04:00
parent 6edf7f5b94
commit a8c16bc127
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/CTestConfig.cmake
View file

@ -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")