diff options
author | Craig Duncan <git@duncanc.co.uk> | 2016-11-05 17:19:16 +0000 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2016-11-17 09:33:04 +0000 |
commit | b476d2196214e3c9acf22d4ac7b2ef1599f5077b (patch) | |
tree | 2e47203b344aa6366d59a00f130a6626e761c55b /run-tests.php | |
parent | 78f2bce68a6a3e53cf4abcf6d1266ab57530eb1a (diff) | |
download | php-git-b476d2196214e3c9acf22d4ac7b2ef1599f5077b.tar.gz |
Fix run-tests.php counting an uncountable
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 247e7d5313..f987b4e933 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1637,7 +1637,7 @@ TEST $file $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]; |