adding environment variable to control coverage reporting

diff --git a/autotest.sh b/autotest.sh
index a411780d49cd952a45dbf71485ea6df6938f7567..e7a5f31dfb862d049b5868204d1be080009c9266 100755 (executable)
--- 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
 }
 
 #