Browse Source

Use bash magic instead of sed

pull/4220/head
David Baker 5 years ago
parent
commit
9c94f2ac14
  1. 2
      scripts/fetch-develop.deps.sh

2
scripts/fetch-develop.deps.sh

@ -28,7 +28,7 @@ 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\///'`
curbranch=${curbranch#origin/}
echo "Determined branch to be $curbranch"

Loading…
Cancel
Save