Squashed 'gitstatus/' changes from 2ecd9907..edd92f62

edd92f62 build: more debug info in case wget fails
1cfcb46c build: add a workaround for systems with broken wget

git-subtree-dir: gitstatus
git-subtree-split: edd92f6210afb16411274e1d6060c6a68bd1e999
pull/1572/head
Roman Perepelitsa 3 years ago
parent 80ec734a95
commit 10ad57cc6b

16
build

@ -275,12 +275,16 @@ if [ ! -e "$libgit2_tarball" ]; then
fi
fi
libgit2_url=https://github.com/romkatv/libgit2/archive/"$libgit2_version".tar.gz
if ! command wget -O "$libgit2_tmp" -- "$libgit2_url"; then
command which wget
command ls -lAd -- "$outdir"
command ls -lA -- "$outdir"
command ls -lAd -- "$outdir"/deps
command ls -lA -- "$outdir"/deps
if ! >"$libgit2_tmp" command wget --no-config -qO- -- "$libgit2_url" &&
! >"$libgit2_tmp" command wget -qO- -- "$libgit2_url"; then
set -x
>&2 command which wget
>&2 command ls -lAd -- "$(command which wget)"
>&2 command ls -lAd -- "$outdir"
>&2 command ls -lA -- "$outdir"
>&2 command ls -lAd -- "$outdir"/deps
>&2 command ls -lA -- "$outdir"/deps
set +x
exit 1
fi
command mv -f -- "$libgit2_tmp" "$libgit2_tarball"

Loading…
Cancel
Save