From f149b8fbe1a6ad81098f50e9ed45da9d8e2125c1 Mon Sep 17 00:00:00 2001 From: FC Stegerman Date: Sun, 30 Oct 2022 22:38:26 +0000 Subject: [PATCH] gradlew-fdroid: use curl --retry 3 --retry-all-errors --- gradlew-fdroid | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gradlew-fdroid b/gradlew-fdroid index a7eaa6db..c2281a74 100755 --- a/gradlew-fdroid +++ b/gradlew-fdroid @@ -46,7 +46,7 @@ download_gradle() { else tmpdir=$(mktemp -d) fi - curl -o "${tmpdir}/gradle-$1-bin.zip" --silent --fail --show-error --location "${URL}" + curl -o "${tmpdir}/gradle-$1-bin.zip" --silent --fail --show-error --location --retry 3 --retry-all-errors "${URL}" gradle_zip="${tmpdir}/gradle-$1-bin.zip" fi echo "${shasum} ${gradle_zip}" | sha256sum -c -