1
1

Add USER_TARGET_PROJECT to update.sh

This commit is contained in:
Derek Smith 2023-03-14 11:44:22 -04:00
parent 5da08eab26
commit 7e8706f81c
Signed by: farscapian
GPG Key ID: B443E530A14E1C90

View File

@ -11,6 +11,23 @@ if git update-index --refresh | grep -q "needs update"; then
exit 1 exit 1
fi 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 . ../defaults.sh