diff options
| -rwxr-xr-x | autotest.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autotest.sh b/autotest.sh index e7a5f31dfb8..3562b0feb04 100755 --- a/autotest.sh +++ b/autotest.sh @@ -182,7 +182,7 @@ EOF 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 echo "No coverage" - phpunit --configuration phpunit-autotest.xml $2 $3 + phpunit --configuration phpunit-autotest.xml --log-junit autotest-results-$1.xml $2 $3 fi } |