diff options
author | Felix Fietkau <nbd@openwrt.org> | 2006-10-16 00:24:43 +0000 |
---|---|---|
committer | Felix Fietkau <nbd@openwrt.org> | 2006-10-16 00:24:43 +0000 |
commit | dd6827946b5b891ff587527370e68c14d68de5eb (patch) | |
tree | d8195a3f80122d5b3c7128ac8db8dea90953ef16 /scripts/download.pl | |
parent | bf032c9a9dec7b3948f74abcc0226b0a8e539f8b (diff) | |
download | upstream-dd6827946b5b891ff587527370e68c14d68de5eb.tar.gz upstream-dd6827946b5b891ff587527370e68c14d68de5eb.tar.bz2 upstream-dd6827946b5b891ff587527370e68c14d68de5eb.zip |
sync whiterussian download.pl with trunk, allow the user to specify additional wget options by using the WGET_OPTIONS env var
SVN-Revision: 5144
Diffstat (limited to 'scripts/download.pl')
-rwxr-xr-x | scripts/download.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index c29b5fe78e..8f5d1d6b46 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -35,8 +35,10 @@ chomp $md5cmd; sub download { my $mirror = shift; + my $options = $ENV{WGET_OPTIONS}; + $options or $options = ""; - open WGET, "wget -t1 --timeout=20 -O- \"$mirror/$filename\" |" or die "Cannot launch wget.\n"; + open WGET, "wget -t1 --timeout=20 $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; |