diff options
| author | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2021-08-23 11:30:28 +0300 |
|---|---|---|
| committer | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2021-08-23 11:30:28 +0300 |
| commit | 10ad57cc6b73b9ed51474edbd5235e6b5f2fd16b (patch) | |
| tree | 0d1b024c27473361cf9ab56d0e2739d0f7412510 | |
| parent | 80ec734a953d930838ea6839923c97c3da880a0d (diff) | |
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
| -rwxr-xr-x | build | 16 |
1 files changed, 10 insertions, 6 deletions
@@ -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" |