From e235b2c16f4f24c1972a3609de43892ab9954940 Mon Sep 17 00:00:00 2001 From: Travis Ralston Date: Wed, 13 Mar 2019 22:23:28 -0600 Subject: [PATCH] Use the right CI branch --- scripts/fetch-develop.deps.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/scripts/fetch-develop.deps.sh b/scripts/fetch-develop.deps.sh index 7fbb76f4ab3..5c9c7848ed6 100755 --- a/scripts/fetch-develop.deps.sh +++ b/scripts/fetch-develop.deps.sh @@ -40,9 +40,8 @@ function dodep() { # Try the PR author's branch in case it exists on the deps as well. # Try the target branch of the push or PR. # Use the default branch as the last resort. - if [[ "$TRAVIS" == true ]]; then - clone $org $repo $TRAVIS_PULL_REQUEST_BRANCH || - clone $org $repo $TRAVIS_BRANCH || + if [[ "$BUILDKITE" == true ]]; then + clone $org $repo $BUILDKITE_BRANCH || clone $org $repo $defbranch || return $? else