From fb327f0c581f56d696c91c9f33503b28d20592c9 Mon Sep 17 00:00:00 2001
From: "Timothy J. Warren" <tim@timshomepage.net>
Date: Thu, 12 Mar 2020 10:40:39 -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 719d607f..3d43c731 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,7 +34,7 @@ pipeline {
 				}
 			}
 			steps {
-				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --colors=never -c build'
+				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-clover build/logs/clover.xml --colors=never'
 				step([
 					$class: 'CloverPublisher',
 					cloverReportDir: '',