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 fe27df5e8..633a4f6f7 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -77,7 +77,7 @@ sub download system("cp -vf $cache/$filename $target/$filename.dl") == 0 or return; system("$md5cmd $target/$filename.dl > \"$target/$filename.md5sum\" ") == 0 or return; } else { - open WGET, "wget -t5 --timeout=20 $options -O- \"$mirror/$filename\" |" or die "Cannot launch wget.\n"; + open WGET, "wget -t5 --timeout=20 --no-check-certificate $options -O- \"$mirror/$filename\" |" or die "Cannot launch wget.\n"; open MD5SUM, "| $md5cmd > \"$target/$filename.md5sum\"" or die "Cannot launch md5sum.\n"; open OUTPUT, "> $target/$filename.dl" or die "Cannot create file $target/$filename.dl: $!\n"; my $buffer; |