diff options
author | Martin Roth <martin@coreboot.org> | 2020-11-07 15:17:45 -0700 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-11-22 22:30:22 +0000 |
commit | 82a30a134c50bd44f050e0a37653111444a8e6e4 (patch) | |
tree | 7362299dea6bf17334e78a30bfd00e7a9f6e1fe2 /util | |
parent | b37f2e9902ec94a0e9e647ce7774f9db57656121 (diff) |
util/crossgcc: Retry package downloads on failure
For whatever reason, I've had buildgcc fail to download packages a
number of times. Adding 2 additional retries before failing helps
with that problem.
Signed-off-by: Martin Roth <martin@coreboot.org>
Change-Id: I060eaa5a0da955436169e2199c1c62044dcfd5ea
Reviewed-on: https://review.coreboot.org/c/coreboot/+/47338
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util')
-rwxr-xr-x | util/crossgcc/buildgcc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc index 958a5415ca..bba8ac71a3 100755 --- a/util/crossgcc/buildgcc +++ b/util/crossgcc/buildgcc @@ -1057,7 +1057,7 @@ if searchtool wget "GNU" nofail > /dev/null; then download_showing_percentage() { url=$1 printf "... ${red} 0%%" - wget "$url" 2>&1 | while read -r line; do + wget --tries=3 "$url" 2>&1 | while read -r line; do echo "$line" | grep -o "[0-9]\+%" | awk '{printf("\b\b\b\b%4s", $1)}' done printf "${NC}... " @@ -1066,7 +1066,7 @@ elif searchtool curl "^curl " > /dev/null; then download_showing_percentage() { url=$1 echo - curl -#OL "$url" + curl --progress-bar --location --retry 3 "$url" } fi |