From 557104ed7ef10573ab69b73841b2150d7c0f3673 Mon Sep 17 00:00:00 2001 From: Alessandro Muntoni Date: Wed, 29 Mar 2023 10:20:43 +0200 Subject: [PATCH] possibility to set input source dir in build scripts - avoid script duplication in other repos --- scripts/Linux/1_build.sh | 4 ++++ scripts/Windows/1_build.sh | 4 ++++ scripts/macOS/1_build.sh | 4 ++++ 3 files changed, 12 insertions(+) diff --git a/scripts/Linux/1_build.sh b/scripts/Linux/1_build.sh index 32741888a..d85b751fb 100644 --- a/scripts/Linux/1_build.sh +++ b/scripts/Linux/1_build.sh @@ -14,6 +14,10 @@ CCACHE="" for i in "$@" do case $i in + -s=*|--source_path=*) + SOURCE_PATH="${i#*=}" + shift # past argument=value + ;; -b=*|--build_path=*) BUILD_PATH="${i#*=}" shift # past argument=value diff --git a/scripts/Windows/1_build.sh b/scripts/Windows/1_build.sh index 887720c33..e345e8fba 100644 --- a/scripts/Windows/1_build.sh +++ b/scripts/Windows/1_build.sh @@ -14,6 +14,10 @@ CCACHE="" for i in "$@" do case $i in + -s=*|--source_path=*) + SOURCE_PATH="${i#*=}" + shift # past argument=value + ;; -b=*|--build_path=*) BUILD_PATH="${i#*=}" shift # past argument=value diff --git a/scripts/macOS/1_build.sh b/scripts/macOS/1_build.sh index 6c1f24be0..daa31b451 100644 --- a/scripts/macOS/1_build.sh +++ b/scripts/macOS/1_build.sh @@ -14,6 +14,10 @@ CCACHE="" for i in "$@" do case $i in + -s=*|--source_path=*) + SOURCE_PATH="${i#*=}" + shift # past argument=value + ;; -b=*|--build_path=*) BUILD_PATH="${i#*=}" shift # past argument=value