diff --git a/run-tests.php b/run-tests.php index 909a8ea9b7b..5adfcd29915 100755 --- a/run-tests.php +++ b/run-tests.php @@ -3504,6 +3504,8 @@ function junit_path_to_classname($file_name) { global $JUNIT; + if (!junit_enabled()) return ''; + $ret = $JUNIT['name']; $_tmp = array();