From: =?utf-8?q?David_Pr=C3=A9vot?= <david@tilapin.org>
Date: Mon, 9 Feb 2015 22:53:02 -0400
Subject: Drop logging
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit

It’s currently failing, apparently trying to load an internal class on
top of the system one.

Forwarded: not-needed
---
 phpunit.xml.dist | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index e1eaf2c..47c1a40 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -8,10 +8,6 @@
     <directory suffix="Test.php">tests</directory>
   </testsuite>
 
-  <logging>
-    <log type="coverage-html" target="build/coverage"/>
-  </logging>
-
   <filter>
     <whitelist processUncoveredFilesFromWhitelist="true">
       <directory suffix=".php">src</directory>