From ae24d983562c82c9be36128f0f3be783e4e5705d Mon Sep 17 00:00:00 2001
From: Fabian Boehm <FHomborg@gmail.com>
Date: Sun, 7 Jan 2024 19:33:15 +0100
Subject: [PATCH] benchmarks: Run glob only once

We assume that you use something like hyperfine to run warmups, like
our driver script does.

This allows the script to be run e.g. in valgrind without being too
much of a pain in the gluteus.
---
 benchmarks/benchmarks/glob.fish | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/benchmarks/benchmarks/glob.fish b/benchmarks/benchmarks/glob.fish
index 0bf2e715a..7b18de407 100644
--- a/benchmarks/benchmarks/glob.fish
+++ b/benchmarks/benchmarks/glob.fish
@@ -3,6 +3,5 @@
 # so it's best to build two fishes, check out one version of the repo,
 # and then run this script with both.
 set -l dir (dirname (status current-filename))
-for i in (seq 1 10)
-    echo $dir/../../**
-end
+# No repetitions, this is plenty slow enough.
+echo $dir/../../**