summaryrefslogtreecommitdiffstats
path: root/bench/bench.sh
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2023-10-12 18:27:31 -0400
committerTavian Barnes <tavianator@tavianator.com>2023-10-12 18:27:31 -0400
commitb475307de3b168cf9a63fa4e73a84a46900c8df6 (patch)
tree66edc9223ca1ff33f7aa335fc5061a7365a239c5 /bench/bench.sh
parent11feab9496ef610fa01f088155549b4d2d5e5c08 (diff)
downloadbfs-b475307de3b168cf9a63fa4e73a84a46900c8df6.tar.xz
bench: Look for ./bfs if ./bin/bfs doesn't exist
Diffstat (limited to 'bench/bench.sh')
-rw-r--r--bench/bench.sh6
1 files changed, 5 insertions, 1 deletions
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