| commit | cd93b37d2353e8ab7a33c134d44661c4fd252b44 | [log] [tgz] |
|---|---|---|
| author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | Mon Feb 06 11:30:00 2023 +0700 |
| committer | Varun Wadekar <vwadekar@nvidia.com> | Tue Feb 07 16:14:29 2023 +0000 |
| tree | a1ab3aca2c98c50284d5f5cbe30d68ea762dfa60 | |
| parent | e6a6ec8e13d5931b4eb0147f561c65edb62853cf [diff] |
utils.sh: fetch_file: Use retry option for curl Retry in case of failure a number of times (5 currently). With the provided options it should use expontential backoff in case of failures, so should cover most transient errors, while not spinning retries infinitely. Signed-off-by: Paul Sokolovsky <paul.sokolovsky@linaro.org> Change-Id: I66f9cf237897c406ac87f0371cb850e07c28a1dc (cherry picked from commit 5fbd6bce417a476b156c859ef068617ef1be5eba)