diff options
| -rwxr-xr-x | scripts/download.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index 0398c564ef..7eb7c7ebce 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) ; } |