From 98f2daca4203adbaf6b22e9c2f40053da7c025f7 Mon Sep 17 00:00:00 2001
From: Abel Hoogeveen <abel@techfuze.net>
Date: Sun, 3 May 2015 18:57:44 +0200
Subject: [PATCH] Finalized regular coverage

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index e72a768..8501bd0 100644
--- a/build.xml
+++ b/build.xml
@@ -15,6 +15,7 @@
             <arg line="--configuration phpunit.xml
                        --log-junit build/logs/phpunit.xml
                        --coverage-clover build/logs/clover.xml
+                       --coverage-text=build/logs/coverage.txt
                        --coverage-html build/clover" />
         </exec>
     </target>