From 4daa39caab59b842fdd5e0d80f0f35011a777ac0 Mon Sep 17 00:00:00 2001
From: Paul Baksic <30337881+bakpaul@users.noreply.github.com>
Date: Fri, 13 Dec 2024 11:32:31 +0100
Subject: [PATCH] Add flag to cmake wen compiling release (#58)

---
 scripts/configure.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/configure.sh b/scripts/configure.sh
index 752147e..c5625ee 100644
--- a/scripts/configure.sh
+++ b/scripts/configure.sh
@@ -467,6 +467,7 @@ fi
 
 # Generate binaries?
 if in-array "build-release-package" "$BUILD_OPTIONS"; then
+    add-cmake-option "-DSOFA_WITH_DEVTOOLS=OFF"
     add-cmake-option "-DSOFA_BUILD_RELEASE_PACKAGE=ON"
     if [[ "$BUILD_TYPE_CMAKE" == "Release" ]]; then
         add-cmake-option "-DCMAKE_BUILD_TYPE=MinSizeRel"