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