meanwhile phpunit is seq faulting with mysql as well

This commit is contained in:
Thomas Mueller 2013-05-24 21:50:34 +02:00
parent ae9adcaf8c
commit 1f9ac7850d

View file

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