retry curl if it fails

This commit is contained in:
Dustin Brody 2022-09-01 12:45:39 +00:00
parent 16005799d5
commit db31a67bac
No known key found for this signature in database
GPG Key ID: 3D7A11A0156519DC
1 changed files with 1 additions and 1 deletions

View File

@ -31,7 +31,7 @@ dl_version() {
for flavour in "${FLAVOURS[@]}"; do
if [[ ! -e "${flavour}.tar.gz" ]]; then
echo "Downloading: ${version}/${flavour}.tar.gz"
curl --location --remote-name --silent --show-error \
curl --location --remote-name --silent --show-error --retry 3 \
"https://github.com/ethereum/consensus-spec-tests/releases/download/${version}/${flavour}.tar.gz" \
|| {
echo "Curl failed. Aborting"