diff --git a/run-tests.php b/run-tests.php index 7ab158bce5c..258eae1fb2d 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";