chore(bench): release as default profile

sdsc-ordes · Aug 25, 2024 · afd0844 · afd0844
1 parent 4f9146c
commit afd0844
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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