From b475307de3b168cf9a63fa4e73a84a46900c8df6 Mon Sep 17 00:00:00 2001 From: Tavian Barnes 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(-) 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