No unit test coverage reports for pgsql - this causes issues on Jenkins.

diff --git a/autotest.sh b/autotest.sh
index fdf6d2fe098267dd414acd4b573f0b8fd5385d02..267815e96d82e147c86c6163791bfff5028db1dc 100755 (executable)
--- a/autotest.sh
+++ b/autotest.sh
@@ -90,7 +90,12 @@ function execute_tests {
        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
+       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
+               phpunit --configuration phpunit-autotest.xml --log-junit autotest-results-$1.xml --coverage-clover autotest-clover-$1.xml --coverage-html coverage-html-$1
+       fi
 }
 
 #