summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2024-04-25 13:49:07 -0400
committerTavian Barnes <tavianator@tavianator.com>2024-04-25 13:49:07 -0400
commit83dd04452498408c1d46b7282ed08e9f5a1e76a8 (patch)
tree0d94fa85f9aac8c2241a6646e278a78b3e864bb9
parent339c20aea74d5b4c6b8b178b478cc5530bc9af79 (diff)
downloadbfs-83dd04452498408c1d46b7282ed08e9f5a1e76a8.tar.xz
bench: Run make config when building
-rw-r--r--bench/bench.sh11
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