diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2023-10-12 18:27:31 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2023-10-12 18:27:31 -0400 |
| commit | b475307de3b168cf9a63fa4e73a84a46900c8df6 (patch) | |
| tree | 66edc9223ca1ff33f7aa335fc5061a7365a239c5 /bench/bench.sh | |
| parent | 11feab9496ef610fa01f088155549b4d2d5e5c08 (diff) | |
| download | bfs-b475307de3b168cf9a63fa4e73a84a46900c8df6.tar.xz | |
bench: Look for ./bfs if ./bin/bfs doesn't exist
Diffstat (limited to 'bench/bench.sh')
| -rw-r--r-- | bench/bench.sh | 6 |
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 |