From afd084413d79361f3d4fcede96dcc6d0e69174ea Mon Sep 17 00:00:00 2001 From: cmdoret Date: Sun, 25 Aug 2024 21:20:11 +0200 Subject: [PATCH] chore(bench): release as default profile --- tools/bench/benchmark.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/bench/benchmark.sh b/tools/bench/benchmark.sh index cc9630f..f7ba1b8 100644 --- a/tools/bench/benchmark.sh +++ b/tools/bench/benchmark.sh @@ -4,7 +4,7 @@ set -euo pipefail ### Final output path OUTPUT="profiling.md" -PROFILE='debug' +PROFILE='release' BUILD_ARGS=( ) [[ "${PROFILE}" == 'release' ]] && BUILD_ARGS+=( '--release' ) ### setup binaries