From 50e452dea98b2fa8a7b3f528703a5c2032afdf8a Mon Sep 17 00:00:00 2001
From: Hugo Thunnissen <devel@hugot.nl>
Date: Fri, 20 May 2022 14:03:27 +0200
Subject: [PATCH] Add logging section to phpunit.xml.dist

---
 .gitignore       | 1 +
 phpunit.xml.dist | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index 63f8737df..eb3774d38 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,3 +11,4 @@ Vagrantfile
 .idea
 .php-cs-fixer.cache
 .scannerwork
+junit.xml
diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index fe20f2caa..7fcee3c02 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -23,6 +23,10 @@
         </testsuite>
     </testsuites>
 
+    <logging>
+      <junit outputFile="junit.xml"/>
+    </logging>
+
     <groups>
         <exclude>
             <group>slow</group>