diff --git a/scripts/download.pl b/scripts/download.pl index 0398c564efd0641ad8e0964f744f03d5fe5eb417..7eb7c7ebce311adb9a78728abb7fc4e7495ab4b9 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -82,7 +82,7 @@ sub download_cmd($) { } return $have_curl - ? (qw(curl --connect-timeout 20 --retry 5 --location --insecure), shellwords($ENV{CURL_OPTIONS} || ''), $url) + ? (qw(curl -f --connect-timeout 20 --retry 5 --location --insecure), shellwords($ENV{CURL_OPTIONS} || ''), $url) : (qw(wget --tries=5 --timeout=20 --no-check-certificate --output-document=-), shellwords($ENV{WGET_OPTIONS} || ''), $url) ; }