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