diff options
author | André Boddenberg <dr.blobb@gmail.com> | 2017-09-04 20:23:30 +0200 |
---|---|---|
committer | André Boddenberg <dr.blobb@gmail.com> | 2017-09-04 20:23:30 +0200 |
commit | 6cbb843fa317b96efa137298636f645ae2d76316 (patch) | |
tree | f93fd7c2b7e1e8d10f41951340f0ec80ad1a5a2d | |
parent | 7b58ee99857c2961bd66a89dd74f3820a4d6813c (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
-rw-r--r-- | scripts/osmo-build.sh | 2 |
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 |