From 7e8706f81c64375422747afd24414977819ac007 Mon Sep 17 00:00:00 2001 From: Derek Smith Date: Tue, 14 Mar 2023 11:44:22 -0400 Subject: [PATCH] Add USER_TARGET_PROJECT to update.sh --- deployment/update.sh | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/deployment/update.sh b/deployment/update.sh index 5ac94dc..2fc2adf 100755 --- a/deployment/update.sh +++ b/deployment/update.sh @@ -11,6 +11,23 @@ if git update-index --refresh | grep -q "needs update"; then exit 1 fi +USER_TARGET_PROJECT= + +# grab any modifications from the command line. +for i in "$@"; do + case $i in + --project=*) + USER_TARGET_PROJECT="${i#*=}" + shift + ;; + + *) + echo "Unexpected option: $1" + exit 1 + ;; + esac +done + . ../defaults.sh