From 5df4275c18036b3770ad637c39793e29fb6ef3b2 Mon Sep 17 00:00:00 2001
From: Maciej Lisiewski <maciej.lisiewski@gmail.com>
Date: Sun, 1 Jun 2025 09:41:19 +0200
Subject: [PATCH] Make it easy to pass extra build args to deps and orca in
 BuildLinux.sh (#9648)

---
 BuildLinux.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/BuildLinux.sh b/BuildLinux.sh
index 8d0fab87ab..d0ff7348a0 100755
--- a/BuildLinux.sh
+++ b/BuildLinux.sh
@@ -130,7 +130,7 @@ fi
 if [[ -n "${BUILD_DEPS}" ]]
 then
     echo "Configuring dependencies..."
-    BUILD_ARGS="-DDEP_WX_GTK3=ON"
+    BUILD_ARGS="${DEPS_EXTRA_BUILD_ARGS} -DDEP_WX_GTK3=ON"
     if [[ -n "${CLEAN_BUILD}" ]]
     then
         rm -fr deps/build
@@ -164,10 +164,10 @@ then
     then
         rm -fr build
     fi
-    BUILD_ARGS=""
+    BUILD_ARGS="${ORCA_EXTRA_BUILD_ARGS}"
     if [[ -n "${FOUND_GTK3_DEV}" ]]
     then
-        BUILD_ARGS="-DSLIC3R_GTK=3"
+        BUILD_ARGS="${BUILD_ARGS} -DSLIC3R_GTK=3"
     fi
     if [[ -n "${BUILD_DEBUG}" ]]
     then