common/bin/jib.sh
changeset 37862 bc9aa7bc5385
parent 34768 2d0d643ca57c
child 41458 f285e333e8db
--- a/common/bin/jib.sh	Tue May 10 13:34:30 2016 +0100
+++ b/common/bin/jib.sh	Wed May 11 13:42:31 2016 +0200
@@ -89,7 +89,7 @@
     fi
 
     if command -v curl > /dev/null; then
-        getcmd="curl -s"
+        getcmd="curl -s -L --retry 3 --retry-delay 5"
     elif command -v wget > /dev/null; then
         getcmd="wget --quiet -O -"
     else