From 9c94f2ac14e94d6b7a237faec696c7d56ed2d3b9 Mon Sep 17 00:00:00 2001
From: David Baker <dave@matrix.org>
Date: Wed, 7 Jun 2017 10:39:46 +0100
Subject: [PATCH] Use bash magic instead of sed

---
 scripts/fetch-develop.deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/fetch-develop.deps.sh b/scripts/fetch-develop.deps.sh
index 46a924ba..4fa1a4a2 100755
--- a/scripts/fetch-develop.deps.sh
+++ b/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"