From 393c376e81cb99eaad8b4fa0dbeeda7492720c22 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Sun, 15 Jan 2017 20:24:21 +0100
Subject: [PATCH] Fix trusted-server name demangling
---
gitlab/before_build.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gitlab/before_build.sh b/gitlab/before_build.sh
index 4f2fed5..25e19cb 100755
--- a/gitlab/before_build.sh
+++ b/gitlab/before_build.sh
@@ -5,7 +5,7 @@ source $(dirname ${0})/functions.sh
if [ -z "${WHEELS_REPOSITORY}" ]; then
WHEELS_REPOSITORY="${DOCSERVER}/software/bob/wheels/gitlab/"
- WHEELS_SERVER=`echo ${DOCSERVER} | sed 's;https\?://;;'`
+ WHEELS_SERVER=`echo ${DOCSERVER} | sed 's;http.*://;;'`
check_env WHEELS_SERVER
fi
check_env WHEELS_REPOSITORY
--
GitLab