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 8da92faabf..9be82f1f5e 100755 --- a/run-tests.php +++ b/run-tests.php @@ -270,6 +270,7 @@ HELP; } } } + $test_files = array_unique($test_files); for($i = 0; $i < count($test_files); $i++) { $test_files[$i] = trim($test_files[$i]); } @@ -367,6 +368,7 @@ function test_sort($a, $b) { } } +$test_files = array_unique($test_files); usort($test_files, "test_sort"); $start_time = time(); |