From d87f77c41aafa16605fbedb70e8bbd51ea6e46dd Mon Sep 17 00:00:00 2001
From: Romain Guy <romainguy@curious-creature.com>
Date: Fri, 30 Aug 2019 14:44:54 -0700
Subject: [PATCH] Don't set $TARGET

---
 build/common/ci-common.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build/common/ci-common.sh b/build/common/ci-common.sh
index 1e3cc4780c..710cc64bb1 100755
--- a/build/common/ci-common.sh
+++ b/build/common/ci-common.sh
@@ -7,7 +7,7 @@ if [[ "$KOKORO_BUILD_ID" ]]; then
 fi
 
 if [[ "GITHUB_WORKFLOW" ]]; then
-    echo "Running job $WORKFLOW_OS in workflow $GITHUB_WORKFLOW"
-    TARGET=$WORKFLOW_OS
+    echo "Running job $TARGET in workflow $GITHUB_WORKFLOW"
+    # $TARGET is set by the GitHub workflow
     CONTINUOUS_INTEGRATION=true
 fi