summaryrefslogtreecommitdiffstats
path: root/scripts/osmo-build.sh
diff options
context:
space:
mode:
authorAndré Boddenberg <dr.blobb@gmail.com>2017-09-04 20:23:30 +0200
committerAndré Boddenberg <dr.blobb@gmail.com>2017-09-04 20:23:30 +0200
commit6cbb843fa317b96efa137298636f645ae2d76316 (patch)
treef93fd7c2b7e1e8d10f41951340f0ec80ad1a5a2d /scripts/osmo-build.sh
parent7b58ee99857c2961bd66a89dd74f3820a4d6813c (diff)
Change used protocoll for 'git ls-remote' call from https to git.
Otherwise script depends on availability of https://git.osmocom.org, which is currently down. Change-Id: Icf2a6b425177ef24aef1dba6e270d36fdc05d214
Diffstat (limited to 'scripts/osmo-build.sh')
-rw-r--r--scripts/osmo-build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/osmo-build.sh b/scripts/osmo-build.sh
index 8ca8e47..39cbae6 100644
--- a/scripts/osmo-build.sh
+++ b/scripts/osmo-build.sh
@@ -172,7 +172,7 @@ branch_and_rev_of_local_repo() {
branch_and_rev_of_remote_repo() {
if [ -z "${2+x}" ]; then branch="master"; else branch="$2"; fi
branch="$( echo "$branch" | tr '/' '_')"
- rev="$(git ls-remote "https://git.osmocom.org/$1" "refs/heads/$branch")"
+ rev="$(git ls-remote "git://git.osmocom.org/$1" "refs/heads/$branch")"
# check whether branch is a tag
if [ "$rev" = "" ]; then