diff options
-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(); |