summaryrefslogtreecommitdiffhomepage
path: root/subr/ex_rtl_fetch.subr
AgeCommit message (Collapse)AuthorFilesLines
2018-04-30Correctly (zero-)initialise all locals.Lucio Andrés Illanes Albornoz1-2/+2
2018-02-25Fixes transient mintty build failures (via katex.)Lucio Andrés Illanes Albornoz (arab, vxp)1-5/+3
subr/ex_rtl_fetch.subr:exp_rtl_fetch_url_git(): correctly handle Git URL branch suffixes.
2018-01-27subr/ex_rtl_fetch.subr:ex_rtl_fetch_url_wget(): clarify hash mismatch error ↵Lucio Andrés Illanes Albornoz (arab, vxp)1-2/+2
message.
2017-12-04subr/{ex_{pkg_{env,exec},rtl_fetch},pkg_install_pkgconfig}.subr: remove ↵Lucio Andrés Illanes Albornoz (arab, vxp)1-1/+1
trailing SP/VT.
2017-12-03subr/*.subr: fix header legends.Lucio Andrés Illanes Albornoz (arab, vxp)1-1/+1
subr/ex_pkg_dispatch.subr: add warning to header concerning set -o errexit.
2017-12-03Separate front end (build.sh, subr/build_*) from dispatcher.Lucio Andrés Illanes Albornoz (arab, vxp)1-0/+63