diff options
author | Marcus Boerger <helly@php.net> | 2003-05-23 22:36:20 +0000 |
---|---|---|
committer | Marcus Boerger <helly@php.net> | 2003-05-23 22:36:20 +0000 |
commit | 7b514da372ce25ef7e77d5692580f80c9e2e39a0 (patch) | |
tree | fe0eac3bc2a439a4dcea7e2992740fb87186cbbd | |
parent | a0a3b47001e455d8a226dc9012b584c7dd3c9f38 (diff) | |
download | php-git-7b514da372ce25ef7e77d5692580f80c9e2e39a0.tar.gz |
Executing tests once is enough
-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 07d493ac0b..9270ea12d6 100755 --- a/run-tests.php +++ b/run-tests.php @@ -197,6 +197,7 @@ if (isset($argc) && $argc > 1) { $test_files[] = $testfile; } } + $test_files = array_unique($test_files); // Run selected tests. if (count($test_files)) { @@ -274,6 +275,7 @@ function test_sort($a, $b) { } } +$test_files = array_unique($test_files); usort($test_files, "test_sort"); $start_time = time(); |