diff options
| author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2019-12-12 17:17:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-12 17:17:18 +0100 |
| commit | 2607200636eb01e4df5735ec311d3a69db5ed589 (patch) | |
| tree | 0607f688a06e133a75addfd5d02d6bd5941339e3 /src/cmake/modules/GUDHI_compilation_flags.cmake | |
| parent | 5a5a534b840216719fb3f9cb819d1306ca7ed196 (diff) | |
| parent | b884a620824a9d707cec82c9dddf7ab236263b95 (diff) | |
Merge pull request #174 from VincentRouvreau/ctest_shall_output_failures
Fix #168 - Ctest shall output failures
Diffstat (limited to 'src/cmake/modules/GUDHI_compilation_flags.cmake')
| -rw-r--r-- | src/cmake/modules/GUDHI_compilation_flags.cmake | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cmake/modules/GUDHI_compilation_flags.cmake b/src/cmake/modules/GUDHI_compilation_flags.cmake index 6cd2614d..34c2e065 100644 --- a/src/cmake/modules/GUDHI_compilation_flags.cmake +++ b/src/cmake/modules/GUDHI_compilation_flags.cmake @@ -73,3 +73,5 @@ if(CMAKE_BUILD_TYPE MATCHES Debug) else() message("++ Release compilation flags are: ${CMAKE_CXX_FLAGS} ${CMAKE_CXX_FLAGS_RELEASE}") endif() + +option(WITH_GUDHI_BOOST_TEST_COVERAGE "Report xml coverage files on boost tests" OFF) |