diff options
| -rwxr-xr-x | autotest.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/autotest.sh b/autotest.sh index 0c59ee51a05..4562b3ed08a 100755 --- a/autotest.sh +++ b/autotest.sh @@ -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 } |