diff options
Diffstat (limited to '.ci/install.sh')
| -rwxr-xr-x | .ci/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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) |