diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2024-05-02 11:25:42 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2024-05-02 11:26:22 -0400 |
| commit | cf080ec377461ca6fe2e0e9bb8b25ad63bda6bc6 (patch) | |
| tree | dc00462661fb9b7c15cc7295de75f991918011ae | |
| parent | 99260d347b91f9f7ede335b7f582cee34ead2b0c (diff) | |
| download | bfs-cf080ec377461ca6fe2e0e9bb8b25ad63bda6bc6.tar.xz | |
Prefer ./configure --enable-release to RELEASE=y
| -rw-r--r-- | README.md | 2 | ||||
| -rw-r--r-- | bench/bench.sh | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -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 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 |