summaryrefslogtreecommitdiffhomepage
path: root/subr.rtl
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2021-03-14 18:28:02 +0000
committerLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2021-03-14 18:28:02 +0000
commit23caa132da4f2fc81c38988c1349a1fb4810ded1 (patch)
tree77cefd7a1f098f6c2e5dc5e18f13dd45ad6fac8e /subr.rtl
parentacddc9f10db91bb44d12954859591ba961c7a953 (diff)
downloadmidipix_build-23caa132da4f2fc81c38988c1349a1fb4810ded1.tar.bz2
midipix_build-23caa132da4f2fc81c38988c1349a1fb4810ded1.tar.xz
pkgtool.sh:pkgtoolp_mirror_fetch(): skip mirroring of Git URL(s) if ${PKG_MIRRORS_GIT} specifies `skip'.
subr.rtl/rtl_fetch.subr:rtlp_fetch_url_git(): skip attempting to use Git URL(s) mirror if ${_mirrors} specifies `skip'. groups/120.native_runtime.group:{ntctty,psxscl{,_strace}}:${PKG_MIRRORS_GIT}: skip mirroring.
Diffstat (limited to 'subr.rtl')
-rw-r--r--subr.rtl/rtl_fetch.subr2
1 files changed, 2 insertions, 0 deletions
diff --git a/subr.rtl/rtl_fetch.subr b/subr.rtl/rtl_fetch.subr
index baa10073..b269b580 100644
--- a/subr.rtl/rtl_fetch.subr
+++ b/subr.rtl/rtl_fetch.subr
@@ -35,6 +35,8 @@ rtlp_fetch_url_git() {
git submodule update) || return 1;
else if git clone ${_git_args} -b "${_git_branch:-main}" "${_url}" "${_cache_dname}/${_subdir}"; then
_clonefl=1;
+ elif [ "${_mirrors}" = "skip" ]; then
+ return 1;
else for _url_base in ${_mirrors}; do
if git clone ${_git_args} -b "${_git_branch:-main}" "${_url_base}/${_pkg_name}/${_url##*/}" "${_cache_dname}/${_subdir}"; then
_clonefl=1; break;