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 | 7f2f0bc577fafc6c17c8896b954fe2bf7948881a (patch) | |
tree | 9a3898c61bfb7845d450e0ca6fae92bb3ba9eaa0 | |
parent | 8e29278b15891c963ada41172d2872f15db46531 (diff) | |
download | master-187ad058-7f2f0bc577fafc6c17c8896b954fe2bf7948881a.tar.gz master-187ad058-7f2f0bc577fafc6c17c8896b954fe2bf7948881a.tar.bz2 master-187ad058-7f2f0bc577fafc6c17c8896b954fe2bf7948881a.zip |
sync whiterussian download.pl with trunk, allow the user to specify additional wget options by using the WGET_OPTIONS env var
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@5144 3c298f89-4303-0410-b956-a3cf2f4a3e73
-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; |