diff --git a/ThirdParty/tools/makeThirdPartyFunctionsForRPM b/ThirdParty/tools/makeThirdPartyFunctionsForRPM index b5d9e19fb..bdd315851 100755 --- a/ThirdParty/tools/makeThirdPartyFunctionsForRPM +++ b/ThirdParty/tools/makeThirdPartyFunctionsForRPM @@ -121,9 +121,15 @@ rpm_make() packageTarBall=`basename $_PACKAGE_URL` if [ ! -e "SOURCES/$packageTarBall" ]; then - echo "Download $packageTarBall from : $_PACKAGE_URL" - #( cd SOURCES; wget --no-check-certificate $_PACKAGE_URL ) - ( cd SOURCES; curl -L -k -O $_PACKAGE_URL ) + echo "Download $packageTarBall from : $_PACKAGE_URL" + #( cd SOURCES; wget --no-check-certificate $_PACKAGE_URL ) + + ( cd SOURCES; curl --connect-timeout 60 \ + --max-time 10 \ + --retry 6 \ + --retry-delay 10 \ + --retry-max-time 60 \ + -L -k -O $_PACKAGE_URL ) fi fi