diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-12-06 15:27:15 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-12-06 15:27:15 +0100 |
commit | 17cf8da254d88fa42cbe9e7bb486147def47c26b (patch) | |
tree | 10b60993b4ce0c2a298130bbde8e5ad04e91cdf4 /src/cmake/modules/GUDHI_compilation_flags.cmake | |
parent | 12130250d8c25db81a0806dc7444b47c3030315b (diff) |
Modify boost tests to be more verbose and errors in colour. I kept coverage tests (was only used by Jenkins) and they still can be activated through an option
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) |