Retry autoconf downloads
diff --git a/.ci/install.sh b/.ci/install.sh
index 5f813e5..5dd9b08 100755
--- a/.ci/install.sh
+++ b/.ci/install.sh
@@ -37,7 +37,7 @@ else
sudo apt-get update
set -x
- wget -qO - https://ftpmirror.gnu.org/autoconf/autoconf-2.71.tar.gz | tar -xvzf -
+ wget --retry-connrefused --waitretry=1 --read-timeout=20 --timeout=15 -t 0 -qO https://ftpmirror.gnu.org/autoconf/autoconf-2.71.tar.gz | tar -xvzf -
mkdir -p ~/i
(cd autoconf-2.71; ./configure --prefix=$HOME/i; make; make install)
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 5cdd4ca..f7df5b6 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -117,7 +117,7 @@ jobs:
- name: Run autogen
run: |
- wget -qO - https://ftpmirror.gnu.org/autoconf/autoconf-2.71.tar.gz | tar -xvzf -
+ wget --retry-connrefused --waitretry=1 --read-timeout=20 --timeout=15 -t 0 -qO https://ftpmirror.gnu.org/autoconf/autoconf-2.71.tar.gz | tar -xvzf -
mkdir -p ~/i
(cd autoconf-2.71; ./configure --prefix=$HOME/i; make; make install)
rm -rf autoconf-2.71