adding environment variable to control coverage reporting

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
 }
 
 #