diff --git a/run-tests.php b/run-tests.php index 247e7d531389c..f987b4e933dc7 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1637,7 +1637,7 @@ function run_test($php, $file, $env) $IN_REDIRECT['dir'] = realpath(dirname($file)); $IN_REDIRECT['prefix'] = trim($section_text['TEST']); - if (count($IN_REDIRECT['TESTS']) == 1) { + if (!empty($IN_REDIRECT['TESTS'])) { if (is_array($org_file)) { $test_files[] = $org_file[1];