Browse Source

Chop off 'origin/'

when figuring out what branch we're on
pull/4220/head
David Baker 5 years ago
parent
commit
b0486e333d
  1. 5
      scripts/fetch-develop.deps.sh

5
scripts/fetch-develop.deps.sh

@ -25,6 +25,11 @@ else
fi
fi
# Chop 'origin' off the start as jenkins ends up using
# branches on the origin, but this doesn't work if we
# specify the branch when cloning.
curbranch=`echo "$curbranch" | sed -e 's/^origin\///'`
echo "Determined branch to be $curbranch"
# clone a specific branch of a github repo

Loading…
Cancel
Save