From cf080ec377461ca6fe2e0e9bb8b25ad63bda6bc6 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Thu, 2 May 2024 11:25:42 -0400
Subject: Prefer ./configure --enable-release to RELEASE=y

---
 bench/bench.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'bench')

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
-- 
cgit v1.2.3