diff options
author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2021-03-14 18:28:02 +0000 |
---|---|---|
committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2021-03-14 18:28:02 +0000 |
commit | 23caa132da4f2fc81c38988c1349a1fb4810ded1 (patch) | |
tree | 77cefd7a1f098f6c2e5dc5e18f13dd45ad6fac8e /subr.rtl | |
parent | acddc9f10db91bb44d12954859591ba961c7a953 (diff) | |
download | midipix_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.subr | 2 |
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; |