diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2024-04-25 13:49:07 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2024-04-25 13:49:07 -0400 |
| commit | 83dd04452498408c1d46b7282ed08e9f5a1e76a8 (patch) | |
| tree | 0d94fa85f9aac8c2241a6646e278a78b3e864bb9 /bench | |
| parent | 339c20aea74d5b4c6b8b178b478cc5530bc9af79 (diff) | |
| download | bfs-83dd04452498408c1d46b7282ed08e9f5a1e76a8.tar.xz | |
bench: Run make config when building
Diffstat (limited to 'bench')
| -rw-r--r-- | bench/bench.sh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/bench/bench.sh b/bench/bench.sh index e4b5511..1d379ca 100644 --- a/bench/bench.sh +++ b/bench/bench.sh @@ -221,7 +221,8 @@ setup() { fi echo "Building bfs ..." - as-user make -s -j"$nproc" release all + as-user make -s -j"$nproc" RELEASE=y + as-user make -s -j"$nproc" all as-user mkdir -p bench/corpus @@ -253,7 +254,13 @@ setup() { echo "Building bfs $commit ..." cd "$worktree" as-user git checkout -qd "$commit" -- - as-user make -s -j"$nproc" release + ls + if [ -e config ]; then + as-user make -s -j"$nproc" config RELEASE=1 + as-user make -s -j"$nproc" + else + as-user make -s -j"$nproc" release + fi if [ -e ./bin/bfs ]; then as-user cp ./bin/bfs "$bin/bfs-$commit" else |