summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcus Boerger <helly@php.net>2003-05-23 22:36:20 +0000
committerMarcus Boerger <helly@php.net>2003-05-23 22:36:20 +0000
commit7b514da372ce25ef7e77d5692580f80c9e2e39a0 (patch)
treefe0eac3bc2a439a4dcea7e2992740fb87186cbbd
parenta0a3b47001e455d8a226dc9012b584c7dd3c9f38 (diff)
downloadphp-git-7b514da372ce25ef7e77d5692580f80c9e2e39a0.tar.gz
Executing tests once is enough
-rwxr-xr-xrun-tests.php2
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();