From 7b514da372ce25ef7e77d5692580f80c9e2e39a0 Mon Sep 17 00:00:00 2001
From: Marcus Boerger <helly@php.net>
Date: Fri, 23 May 2003 22:36:20 +0000
Subject: [PATCH] Executing tests once is enough

---
 run-tests.php | 2 ++
 1 file changed, 2 insertions(+)

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();
-- 
2.40.0