From 78ac176b4ba2f8794eea5273516832865a58b709 Mon Sep 17 00:00:00 2001
From: Marcus Holland-Moritz <github@mhxnet.de>
Date: Tue, 12 Aug 2025 19:53:35 +0200
Subject: [PATCH] chore: disable benchmarks to speed up builds (and save some
 space)

---
 .docker/build-linux.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.docker/build-linux.sh b/.docker/build-linux.sh
index 26547c1d..f23d0c19 100755
--- a/.docker/build-linux.sh
+++ b/.docker/build-linux.sh
@@ -149,7 +149,7 @@ case "-$BUILD_TYPE-" in
   *-release-*)
     CMAKE_ARGS="${CMAKE_ARGS} -DCMAKE_BUILD_TYPE=Release"
     if [[ "-$BUILD_TYPE-" != *-minimal-* ]]; then
-      CMAKE_ARGS="${CMAKE_ARGS} -DWITH_BENCHMARKS=1"
+      # CMAKE_ARGS="${CMAKE_ARGS} -DWITH_BENCHMARKS=1"
       if [[ "-$BUILD_TYPE-" != *-lto-* ]]; then
         CMAKE_ARGS="${CMAKE_ARGS} -DWITH_ALL_BENCHMARKS=1"
       fi
@@ -163,7 +163,7 @@ case "-$BUILD_TYPE-" in
   *-relsize-*)
     CMAKE_ARGS="${CMAKE_ARGS} -DCMAKE_BUILD_TYPE=MinSizeRel"
     if [[ "-$BUILD_TYPE-" != *-minimal-* ]]; then
-      CMAKE_ARGS="${CMAKE_ARGS} -DWITH_BENCHMARKS=1"
+      # CMAKE_ARGS="${CMAKE_ARGS} -DWITH_BENCHMARKS=1"
       if [[ "-$BUILD_TYPE-" != *-lto-* ]]; then
         CMAKE_ARGS="${CMAKE_ARGS} -DWITH_ALL_BENCHMARKS=1"
       fi