diff options
author | Christoph M. Becker <cmbecker69@gmx.de> | 2019-10-07 13:22:47 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2019-10-07 13:22:47 +0200 |
commit | e54d2efdda64023be330e3e1a500c94596aac463 (patch) | |
tree | 0f744ccb9d7d993cff54eae05a4b433ac13b2d4c /run-tests.php | |
parent | 749134f86765d89b9a5075922b523c780ded0852 (diff) | |
parent | 8cdab9b217fad0fbcf6d658befc66cd5d8a8fc95 (diff) | |
download | php-git-e54d2efdda64023be330e3e1a500c94596aac463.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
Bail out if JUNIT is not enabled
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 9c5356a790..5083dce023 100755 --- a/run-tests.php +++ b/run-tests.php @@ -3507,6 +3507,8 @@ function junit_path_to_classname($file_name) { global $JUNIT; + if (!junit_enabled()) return ''; + $ret = $JUNIT['name']; $_tmp = array(); |