Prefer ./configure --enable-release to RELEASE=y

tavianator · May 2, 2024 · cf080ec · cf080ec
1 parent 99260d3
commit cf080ec
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -343,7 +343,7 @@ Run the test suite to make sure it works correctly:
 
 If you're interested in speed, you may want to build the release version instead:
 
-    $ ./configure RELEASE=y
+    $ ./configure --enable-release
     $ make
 
 Finally, if you want to install it globally, run

diff --git 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