From 34ab77a636bde8b11cebd3576153decaed1609de Mon Sep 17 00:00:00 2001 From: Michael Schurter Date: Tue, 14 Mar 2017 10:47:17 -0700 Subject: [PATCH] Fix overriding build targets --- scripts/build.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/build.sh b/scripts/build.sh index ed7a08421..fde86bfb1 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -32,6 +32,8 @@ if [[ "$TARGETS" == "release" ]]; then echo "Unable to build on $(uname). Use Linux or Darwin." exit 1 fi +elif [[ "$TARGETS" != "" ]]; then + targets="$TARGETS" fi # Don't exit if a single target fails