diff options
author | Werner Koch <[email protected]> | 2024-09-19 14:31:55 +0000 |
---|---|---|
committer | Werner Koch <[email protected]> | 2024-09-19 14:33:27 +0000 |
commit | 8c0ac05f0602b8281eed04ba0ef5b82637663d27 (patch) | |
tree | d7aee10290f6c3b453b0583c2d0c07b7107a7f66 /build-aux/speedo.mk | |
parent | po: Update Portuguese Translation. (diff) | |
download | gnupg-8c0ac05f0602b8281eed04ba0ef5b82637663d27.tar.gz gnupg-8c0ac05f0602b8281eed04ba0ef5b82637663d27.zip |
speedo: Make use of wget more robust
* build-aux/getswdb.sh: Add option --wgetopt.
* build-aux/speedo.mk (WGETOPT): New.
(getswdb_options): Pass to getswdb.
(unpack): Use wget with new options.
Diffstat (limited to '')
-rw-r--r-- | build-aux/speedo.mk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/build-aux/speedo.mk b/build-aux/speedo.mk index 5590b4051..b887c506a 100644 --- a/build-aux/speedo.mk +++ b/build-aux/speedo.mk @@ -185,6 +185,10 @@ MAKE_J = $(shell if command -v nproc >/dev/null 2>&1; then \ nproc; else echo 6; \ fi) +# Extra options for wget(1) +WGETOPT= --retry-connrefused --retry-on-host-error + + # Name to use for the w32 installer and sources @@ -309,6 +313,7 @@ endif ifeq ($(SELFCHECK),0) getswdb_options += --skip-selfcheck endif +getswdb_options += --wgetopt="$(WGETOPT)" ifeq ($(UPD_SWDB),1) SWDB := $(shell $(topsrc)/build-aux/getswdb.sh $(getswdb_options) && echo okay) ifeq ($(strip $(SWDB)),) @@ -865,7 +870,7 @@ $(stampdir)/stamp-$(1)-00-unpack: $(stampdir)/stamp-directories [ -f tmp.tgz ] && rm tmp.tgz; \ case "$$$${tar}" in \ /*) $$$${pretar} < $$$${tar} | tar xf - ;; \ - *) wget -q -O - $$$${tar} | tee tmp.tgz \ + *) wget $(WGETOPT) -q -O - $$$${tar} | tee tmp.tgz \ | $$$${pretar} | tar x$$$${opt}f - ;; \ esac; \ if [ -f tmp.tgz ]; then \ |