summaryrefslogtreecommitdiffstats
path: root/bench
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2024-04-29 15:30:39 -0400
committerTavian Barnes <tavianator@tavianator.com>2024-04-29 16:25:46 -0400
commit37caa3d71fd8bb4d0d9204e4a2f5cac234fa25fd (patch)
treeaf4dd493b89a17dfdce2957dac90f068decf1667 /bench
parentb8ed989642b9f0f6c1301bcff6f1498935cbd81c (diff)
downloadbfs-37caa3d71fd8bb4d0d9204e4a2f5cac234fa25fd.tar.xz
build: Replace `make config` with a `./configure` script
This lets us do more traditional out-of-tree builds like $ ../path/to/bfs/configure $ make The .mk files are moved from ./config to ./build, mostly so that ./configure will auto-complete easily.
Diffstat (limited to 'bench')
-rw-r--r--bench/bench.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/bench/bench.sh b/bench/bench.sh
index 1526fe5..ba46599 100644
--- a/bench/bench.sh
+++ b/bench/bench.sh
@@ -221,7 +221,7 @@ setup() {
fi
echo "Building bfs ..."
- as-user make -s -j"$nproc" RELEASE=y
+ as-user ./configure RELEASE=y
as-user make -s -j"$nproc" all
as-user mkdir -p bench/corpus
@@ -254,8 +254,8 @@ setup() {
echo "Building bfs $commit ..."
cd "$worktree"
as-user git checkout -qd "$commit" --
- if [ -e config ]; then
- as-user make -s -j"$nproc" config RELEASE=1
+ if [ -e configure ]; then
+ as-user ./configure RELEASE=1
as-user make -s -j"$nproc"
else
as-user make -s -j"$nproc" release