From dccc578395b92f0cfed1a2b1da096a037c656e20 Mon Sep 17 00:00:00 2001
From: Timothy J Warren <tim@timshomepage.net>
Date: Thu, 12 Mar 2020 10:36:20 -0400
Subject: [PATCH] Yet another CI code coverage commit

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 18527ac5..719d607f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,7 +34,7 @@ pipeline {
 				}
 			}
 			steps {
-				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --colors=never'
+				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --colors=never -c build'
 				step([
 					$class: 'CloverPublisher',
 					cloverReportDir: '',