diff options
| author | Thomas Mueller <thomas.mueller@tmit.eu> | 2013-05-16 00:44:15 +0400 |
|---|---|---|
| committer | Thomas Mueller <thomas.mueller@tmit.eu> | 2013-05-16 00:44:15 +0400 |
| commit | 990980392c754edac0b4f8325458f1055c7ba0d8 (patch) | |
| tree | 88c3508c5fc7fee651812fe728de4d9409d1655e /autotest.sh | |
| parent | cb41a30b00ef8d31676989017fa2b9ad416659b9 (diff) | |
No unit test coverage reports for pgsql - this causes issues on Jenkins.
Diffstat (limited to 'autotest.sh')
| -rwxr-xr-x | autotest.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/autotest.sh b/autotest.sh index fdf6d2fe098..267815e96d8 100755 --- 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 } # |