From c5f94995da00acb1324bee0c7fd2b953b87fadac Mon Sep 17 00:00:00 2001 From: Hugo Locurcio Date: Wed, 26 Nov 2025 14:57:52 +0100 Subject: [PATCH] Enable path overrides which are required for release benchmarks to run --- run-benchmarks.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run-benchmarks.sh b/run-benchmarks.sh index 85b0a84..ac5b70c 100755 --- a/run-benchmarks.sh +++ b/run-benchmarks.sh @@ -87,7 +87,7 @@ if [[ "$ARG1" != "--skip-build" ]]; then clear_build_environment BEGIN="$(date +%s%3N)" - PEAK_MEMORY_BUILD_RELEASE=$( (/usr/bin/time -f "%M" scons platform=linuxbsd target=template_release optimize=speed lto=full module_mono_enabled=no progress=no debug_symbols=yes -j$(nproc) 2>&1 || true) | tail -1) + PEAK_MEMORY_BUILD_RELEASE=$( (/usr/bin/time -f "%M" scons platform=linuxbsd target=template_release optimize=speed lto=full module_mono_enabled=no progress=no debug_symbols=yes disable_path_overrides=no -j$(nproc) 2>&1 || true) | tail -1) END="$(date +%s%3N)" TIME_TO_BUILD_RELEASE="$((END - BEGIN))"