diff options
author | Alexander Vladishev <aleksander.vladishev@zabbix.com> | 2022-07-27 16:14:17 +0300 |
---|---|---|
committer | Alexander Vladishev <aleksander.vladishev@zabbix.com> | 2022-07-27 16:14:17 +0300 |
commit | 7387930d5ab40bbe99bfdb1b8ad0ee05b9654621 (patch) | |
tree | ca62eb7f53e1cd4250636894cfd0e721616cd543 /build.xml | |
parent | eb7c3caf8ec8f2ff06d134e562711b12a667a51e (diff) |
.......... [DEV-2159] improved error reporting when children processes did not exit correctly
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build.xml b/build.xml index 9fab079dd34..288aa9df468 100644 --- a/build.xml +++ b/build.xml @@ -433,6 +433,7 @@ <arg line="--log-junit=${basedir}/build/logs/phpunit.xml"/> <arg line="--bootstrap=bootstrap.php"/> <arg line="--do-not-cache-result"/> + <arg line="--dont-report-useless-tests"/> <arg line="${phpunit_filter}"/> <arg line="integration/IntegrationTests.php"/> </exec> |