From 3f9cc76451bc3b9088cc38f6c14a6b5152912d27 Mon Sep 17 00:00:00 2001 From: Marcos Marcolin Date: Tue, 19 Nov 2024 20:12:24 -0300 Subject: [PATCH] chore: remove unused variable. --- run-tests.php | 1 - 1 file changed, 1 deletion(-) diff --git a/run-tests.php b/run-tests.php index 7ab158bce5c5c..258eae1fb2da9 100755 --- a/run-tests.php +++ b/run-tests.php @@ -693,7 +693,6 @@ function main(): void if ($test_cnt) { putenv('NO_INTERACTION=1'); usort($test_files, "test_sort"); - $start_timestamp = time(); $start_time = hrtime(true); echo "Running selected tests.\n";