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