Fix retry download helper for PyPy (#1092)

This commit is contained in:
Vladimir Safonkin
2020-06-23 09:09:16 +00:00
committed by GitHub
parent 7e20013bcb
commit e9e1f92089

View File

@@ -16,7 +16,7 @@ download_with_retries() {
i=20 i=20
while [ $i -gt 0 ]; do while [ $i -gt 0 ]; do
((i--)) ((i--))
curl $URL -4 -s -o "$DEST/$NAME" curl $URL -4 -s -compressed -o "$DEST/$NAME"
if [ $? != 0 ]; then if [ $? != 0 ]; then
sleep 30 sleep 30
else else