diff options
author | Colin Schmidt <colins@eecs.berkeley.edu> | 2016-06-15 11:50:43 -0700 |
---|---|---|
committer | Palmer Dabbelt <palmer@dabbelt.com> | 2016-08-10 12:29:10 -0700 |
commit | 5024a61df160a4a1211a02e39cdfe2b57b92d5b9 (patch) | |
tree | b978200f98060a9f67cd04c6657a60ac7a586fcf /configure | |
parent | d436ec492e53f81bb6f4c5cd7ddc97a40c76153e (diff) | |
download | riscv-gnu-toolchain-5024a61df160a4a1211a02e39cdfe2b57b92d5b9.zip riscv-gnu-toolchain-5024a61df160a4a1211a02e39cdfe2b57b92d5b9.tar.gz riscv-gnu-toolchain-5024a61df160a4a1211a02e39cdfe2b57b92d5b9.tar.bz2 |
Add retry flag to curl for bad networks
The buildbot seems to be hammering the newlib servers causing dropped
connections so we'll try to backoff and retry.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3176,7 +3176,7 @@ fi if test x"$CURL" != xno; then : - FETCHER="$CURL -L -o - --ftp-pasv" + FETCHER="$CURL -L -o - --ftp-pasv --retry 10" elif test x"$WGET" != xno; then : FETCHER="$WGET -O -" elif test x"$FTP" != xno; then : |