Merge branch 'master' into move-aborted-upload-detection-into-plugin-master

This commit is contained in:
Thomas Müller 2013-09-25 17:43:25 +02:00
commit 46e47be782
1 changed files with 1 additions and 6 deletions

View File

@ -142,12 +142,7 @@ EOF
rm -rf coverage-html-$1
mkdir coverage-html-$1
php -f enable_all.php
if [ "$1" == "sqlite" ] ; then
# coverage only with sqlite - causes segfault on ci.tmit.eu - reason unknown
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
phpunit --configuration phpunit-autotest.xml --log-junit autotest-results-$1.xml $2 $3
fi
}
#