summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDmitry V. Levin <ldv@altlinux.org>2018-03-13 15:12:14 +0000
committerDmitry V. Levin <ldv@altlinux.org>2018-03-13 15:12:14 +0000
commit595fd1a2b226063b044de4ecfb17f7463cdfbe70 (patch)
tree102b4bb37d62f871b020114715c6de141fcd7220
parent87274720414034e7bd3b50f3dd90c189672e9ff5 (diff)
downloadstrace-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-xci/install-dependencies.sh12
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