From: Dmitry V. Levin Date: Tue, 13 Mar 2018 15:12:14 +0000 (+0000) Subject: ci: clone musl from the local server X-Git-Tag: v4.22~88 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=595fd1a2b226063b044de4ecfb17f7463cdfbe70;p=strace ci: clone musl from the local server Assume that strace project on the local server contains an appropriate musl repository, use this repository instead of hardcoded github location. * ci/install-dependencies.sh (clone_repo): Use local server by default. (musl-gcc): Un-hardcode the location of musl repository. --- diff --git a/ci/install-dependencies.sh b/ci/install-dependencies.sh index f41c9287..e524f00f 100755 --- a/ci/install-dependencies.sh +++ b/ci/install-dependencies.sh @@ -25,6 +25,16 @@ clone_repo() apt_get_install git ca-certificates git_installed=1 } + + case "$src" in + *://*) ;; + *) local url path + url="$(git config remote.origin.url)" + path="${url#*://*/}" + src="${url%$path}$src" + ;; + esac + git clone --depth=1 "$src" "$dst" } @@ -53,7 +63,7 @@ case "$CC" in apt_get_install $common_packages "$CC" ;; musl-gcc) - clone_repo https://github.com/strace/musl musl + clone_repo strace/musl musl apt_get_install $common_packages cd musl CC=gcc