From 1673e1c0dd68b2089e8118206c3c534db067a834 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Thu, 1 Aug 2024 16:03:17 -0700
Subject: [PATCH] Enforce 100% line coverage again. Closes #30

---
 Jenkinsfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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
                 '''
             }
         }