From ba2b31c58103ebfe8556f3f8a8db3515f0c059ef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Tue, 24 Jun 2014 11:53:00 +0200
Subject: [PATCH] Do not build HTML coverage logs, we do not use them at all
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 phpunit.xml.dist | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 1f690fffe8..76a94195f9 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -35,9 +35,6 @@
     </testsuites>
 
     <logging>
-        <log type="coverage-html" target="build/coverage" title="phpMyAdmin"
-             charset="UTF-8" yui="true" highlight="true"
-             lowUpperBound="35" highLowerBound="70"/>
         <log type="coverage-clover" target="build/logs/clover.xml"/>
         <log type="junit" target="build/logs/junit.xml" logIncompleteSkipped="false"/>
     </logging>