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