diff options
| author | Thomas Müller <thomas.mueller@tmit.eu> | 2013-11-04 22:24:40 +0400 |
|---|---|---|
| committer | Thomas Müller <thomas.mueller@tmit.eu> | 2013-11-04 22:24:40 +0400 |
| commit | b767bbcddacc62741e8bed585c080092448bb829 (patch) | |
| tree | c4c4ceb72f2222c3dc21ccee6fde8bb5b9f98319 | |
| parent | c3898061a8e8026ea608d5c79f597adf4cacc96c (diff) | |
| parent | 4025f393242965240554f0c7606440a04ef784c1 (diff) | |
Merge pull request #5683 from owncloud/no-coverage-with-php-v53-master
adding environment variable to control coverage reporting
| -rwxr-xr-x | autotest.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/autotest.sh b/autotest.sh index a411780d49c..3562b0feb04 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 --log-junit autotest-results-$1.xml $2 $3 + fi } # |