Merge remote-tracking branch 'origin/develop' into experimental

This commit is contained in:
David Baker 2017-06-07 10:59:01 +01:00
commit fb358d8fd6

View File

@ -25,6 +25,11 @@ else
fi fi
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=${curbranch#origin/}
echo "Determined branch to be $curbranch" echo "Determined branch to be $curbranch"
# clone a specific branch of a github repo # clone a specific branch of a github repo