From b475307de3b168cf9a63fa4e73a84a46900c8df6 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Thu, 12 Oct 2023 18:27:31 -0400
Subject: bench: Look for ./bfs if ./bin/bfs doesn't exist

---
 bench/bench.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'bench')

diff --git a/bench/bench.sh b/bench/bench.sh
index ab56b79..0dfd7c4 100644
--- a/bench/bench.sh
+++ b/bench/bench.sh
@@ -228,7 +228,11 @@ setup() {
                 cd "$worktree"
                 as-user git checkout -qd "$commit" --
                 as-user make -s -j"$nproc" release
-                as-user cp ./bin/bfs "$bin/bfs-$commit"
+                if [ -e ./bin/bfs ]; then
+                    as-user cp ./bin/bfs "$bin/bfs-$commit"
+                else
+                    as-user cp ./bfs "$bin/bfs-$commit"
+                fi
                 as-user make -s clean
             )
         done
-- 
cgit v1.2.3