diff --git a/Jenkinsfile b/Jenkinsfile
index 96f348d..2626afc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -125,6 +125,7 @@ pipeline {
                 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
                 '''
             }
         }