diff options
author | Dmitry V. Levin <ldv@altlinux.org> | 2018-03-13 15:12:14 +0000 |
---|---|---|
committer | Dmitry V. Levin <ldv@altlinux.org> | 2018-03-13 15:12:14 +0000 |
commit | 595fd1a2b226063b044de4ecfb17f7463cdfbe70 (patch) | |
tree | 102b4bb37d62f871b020114715c6de141fcd7220 | |
parent | 87274720414034e7bd3b50f3dd90c189672e9ff5 (diff) | |
download | strace-595fd1a2b226063b044de4ecfb17f7463cdfbe70.tar.gz |
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.
-rwxr-xr-x | ci/install-dependencies.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/ci/install-dependencies.sh b/ci/install-dependencies.sh index f41c92879..e524f00fe 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 |