diff --git a/Jenkinsfile b/Jenkinsfile index 7b5c9e6..76a1722 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -129,16 +129,16 @@ pipeline { } steps { script { - filter_args = "-f ConflictSet.cpp -f LongestCommonPrefix.h -f Metrics.h" + gcov_args = "-f ConflictSet.cpp -f LongestCommonPrefix.h -f Metrics.h --gcov-executable 'llvm-cov gcov' --exclude-noncode-lines" } - CleanBuildAndTest("-DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++ -DCMAKE_C_FLAGS=--coverage -DCMAKE_CXX_FLAGS=--coverage -DCMAKE_BUILD_TYPE=Debug -DDISABLE_TSAN=ON") + CleanBuildAndTest("-DCMAKE_C_FLAGS=--coverage -DCMAKE_CXX_FLAGS=--coverage -DCMAKE_BUILD_TYPE=Debug -DDISABLE_TSAN=ON") sh """ - gcovr ${filter_args} --cobertura > build/coverage.xml + gcovr ${gcov_args} --cobertura > build/coverage.xml """ recordCoverage qualityGates: [[criticality: 'NOTE', metric: 'MODULE']], tools: [[parser: 'COBERTURA', pattern: 'build/coverage.xml']] sh """ - gcovr ${filter_args} - gcovr ${filter_args} --fail-under-line 100 > /dev/null + gcovr ${gcov_args} + gcovr ${gcov_args} --fail-under-line 100 > /dev/null """ } }