gradlew-fdroid: use curl --retry 3 --retry-all-errors?
We added retrying to fdroidserver
itself (mostly to fix connection reset by peer during NDK downloads) in !1225 (merged).
But gradlew-fdroid
doesn't retry (which is causing failed builds as well).
Should we call curl with --retry 3 --retry-all-errors
?
(I don't really like having to use --retry-all-errors
, but it's the only way to retry on connection reset by peer, and I think it's safe to use in this context.)
cc @linsui