diff --git a/Jenkinsfile b/Jenkinsfile index 2626afc..a6a19c6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -123,9 +123,8 @@ pipeline { ''' recordCoverage qualityGates: [[criticality: 'NOTE', metric: 'MODULE']], tools: [[parser: 'COBERTURA', pattern: 'build/coverage.xml']] sh ''' - # Suppress again, because we haven't dealt with function multi-versioning for x86 yet - # gcovr -f ConflictSet.cpp --fail-under-line 100 > /dev/null gcovr -f ConflictSet.cpp + gcovr -f ConflictSet.cpp --fail-under-line 100 > /dev/null ''' } }