From c9be1378c709586f264dd643f92f71b9f1a842b2 Mon Sep 17 00:00:00 2001 From: Anthony Green Date: Tue, 6 Sep 2022 14:12:21 -0400 Subject: Retry autoconf downloads --- .ci/install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.ci') 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) -- cgit v1.2.1