From e9e1f9208907c17642475eede89f8c864df38001 Mon Sep 17 00:00:00 2001 From: Vladimir Safonkin Date: Tue, 23 Jun 2020 09:09:16 +0000 Subject: [PATCH] Fix retry download helper for PyPy (#1092) --- images/linux/scripts/helpers/install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/images/linux/scripts/helpers/install.sh b/images/linux/scripts/helpers/install.sh index f638f065..20a9822b 100644 --- a/images/linux/scripts/helpers/install.sh +++ b/images/linux/scripts/helpers/install.sh @@ -16,7 +16,7 @@ download_with_retries() { i=20 while [ $i -gt 0 ]; do ((i--)) - curl $URL -4 -s -o "$DEST/$NAME" + curl $URL -4 -s -compressed -o "$DEST/$NAME" if [ $? != 0 ]; then sleep 30 else