From 8aa17c285c95c66b719343b98fc9eb7677db56b6 Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Sun, 1 Jun 2014 13:12:42 +0200
Subject: [PATCH] Produce a clover.xml code coverage file.

---
 travis/run-phpunit.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/travis/run-phpunit.sh b/travis/run-phpunit.sh
index 013cf3ae..713e98da 100755
--- a/travis/run-phpunit.sh
+++ b/travis/run-phpunit.sh
@@ -24,4 +24,5 @@ fi
   $PHPUNIT_EXTRA_ARGS \
   --verbose \
   --coverage-text \
+  --coverage-clover code_coverage/clover.xml \
   --coverage-html code_coverage/