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 | e362b697355c99d164217c62b051a441b9bcd8f2 (patch) | |
| tree | 8791ad6390b17513d5adfa28b5efbad7a6b50049 | |
| parent | 0a1946b9651c037a1266ce88cadf8f30fe8d1cac (diff) | |
| parent | 10ad57cc6b73b9ed51474edbd5235e6b5f2fd16b (diff) | |
Merge commit '10ad57cc6b73b9ed51474edbd5235e6b5f2fd16b'
| -rwxr-xr-x | gitstatus/build | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/gitstatus/build b/gitstatus/build index 7adae0a9..036a12ad 100755 --- a/gitstatus/build +++ b/gitstatus/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" |