summaryrefslogtreecommitdiffstats
path: root/bench/bench.sh
diff options
context:
space:
mode:
Diffstat (limited to 'bench/bench.sh')
-rw-r--r--bench/bench.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/bench/bench.sh b/bench/bench.sh
index ba46599..cf1ae49 100644
--- a/bench/bench.sh
+++ b/bench/bench.sh
@@ -221,7 +221,7 @@ setup() {
fi
echo "Building bfs ..."
- as-user ./configure RELEASE=y
+ as-user ./configure --enable-release
as-user make -s -j"$nproc" all
as-user mkdir -p bench/corpus
@@ -255,7 +255,7 @@ setup() {
cd "$worktree"
as-user git checkout -qd "$commit" --
if [ -e configure ]; then
- as-user ./configure RELEASE=1
+ as-user ./configure --enable-release
as-user make -s -j"$nproc"
else
as-user make -s -j"$nproc" release