From 76f7b77b2e14f324b1f78bcf97be581a0bf670cb Mon Sep 17 00:00:00 2001 From: Lucio Andrés Illanes Albornoz (arab, vxp) Date: Feb 25 2018 11:36:46 +0000 Subject: Fixes transient mintty build failures (via katex.) subr/ex_rtl_fetch.subr:exp_rtl_fetch_url_git(): correctly handle Git URL branch suffixes. --- diff --git a/subr/ex_rtl_fetch.subr b/subr/ex_rtl_fetch.subr index 086a795..babf267 100644 --- a/subr/ex_rtl_fetch.subr +++ b/subr/ex_rtl_fetch.subr @@ -10,11 +10,9 @@ exp_rtl_fetch_url_git() { git pull origin "${_branch:-main}"); else git clone "${_url}" "${BUILD_DLCACHEDIR}/${_subdir}"; - if [ -n "${_branch}" -a \ - \( -z "${_branch#main}" \) -a \ - \( -z "${_branch#master}" \) ]; then - (ex_rtl_fileop cd "${BUILD_DLCACHEDIR}/${_subdir}" &&\ - git checkout -b "${_branch}"); + if [ -n "${_branch}" ]; then + (ex_rtl_fileop cd "${BUILD_DLCACHEDIR}/${_subdir}" &&\ + git checkout "${_branch}"); fi; fi; _oldpwd="${PWD}"; ex_rtl_fileop cd "${PKG_BASE_DIR}";