From 99933b2ca301b21ec1af75d6fa39aef30dd07b78 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Thomas=20M=C3=BCller?= <thomas.mueller@tmit.eu>
Date: Mon, 4 Nov 2013 17:04:54 +0100
Subject: [PATCH] adding environment variable to control coverage reporting

---
 autotest.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/autotest.sh b/autotest.sh
index a411780d49c..e7a5f31dfb8 100755
--- a/autotest.sh
+++ b/autotest.sh
@@ -178,7 +178,12 @@ EOF
 	rm -rf coverage-html-$1
 	mkdir coverage-html-$1
 	php -f enable_all.php
-	phpunit --configuration phpunit-autotest.xml --log-junit autotest-results-$1.xml --coverage-clover autotest-clover-$1.xml --coverage-html coverage-html-$1 $2 $3
+	if [ -z "$NOCOVERAGE" ]; then
+		phpunit --configuration phpunit-autotest.xml --log-junit autotest-results-$1.xml --coverage-clover autotest-clover-$1.xml --coverage-html coverage-html-$1 $2 $3
+	else
+		echo "No coverage"
+		phpunit --configuration phpunit-autotest.xml $2 $3
+	fi
 }
 
 #
-- 
2.39.5