diff options
author | Anthony Green <green@moxielogic.com> | 2022-09-06 14:12:21 -0400 |
---|---|---|
committer | Anthony Green <green@moxielogic.com> | 2022-09-06 14:12:21 -0400 |
commit | c9be1378c709586f264dd643f92f71b9f1a842b2 (patch) | |
tree | be475b22e1b436a876f885462d25bd3e7f1459eb /.ci | |
parent | 62471fd078db7ef66ca8b3118187a2911f2bb3e7 (diff) | |
download | libffi-c9be1378c709586f264dd643f92f71b9f1a842b2.tar.gz |
Retry autoconf downloads
Diffstat (limited to '.ci')
-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) |