aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authorNicolas Thill <nico@openwrt.org>2007-08-26 18:21:24 +0000
committerNicolas Thill <nico@openwrt.org>2007-08-26 18:21:24 +0000
commit1b226e4de19bad05221be1d6ab8e8f2e5dcc36ff (patch)
tree04554ed3f0fd240198b3d807d12aa65fcd71532a /scripts
parentb35e6fe3bad807e9a8fcb00d4b916c1b8480b982 (diff)
downloadupstream-1b226e4de19bad05221be1d6ab8e8f2e5dcc36ff.tar.gz
upstream-1b226e4de19bad05221be1d6ab8e8f2e5dcc36ff.tar.bz2
upstream-1b226e4de19bad05221be1d6ab8e8f2e5dcc36ff.zip
add a '@KERNEL' download facility, tweak script
SVN-Revision: 8495
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/download.pl26
1 files changed, 17 insertions, 9 deletions
diff --git a/scripts/download.pl b/scripts/download.pl
index 543dcc1879..66eaca8b36 100755
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -112,15 +112,23 @@ foreach my $mirror (@ARGV) {
push @mirrors, "http://downloads.sourceforge.net/$1";
}
} elsif ($mirror =~ /^\@GNU\/(.+)$/) {
- my $gnupath = $1;
- push @mirrors, "ftp://ftp.gnu.org/gnu/$gnupath";
- push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$gnupath";
- push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$gnupath";
- push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$gnupath";
- push @mirrors, "ftp://ftp.uu.net/archive/systems/gnu/$gnupath";
- push @mirrors, "ftp://ftp.eu.uu.net/pub/gnu/$gnupath";
- push @mirrors, "ftp://ftp.leo.org/pub/comp/os/unix/gnu/$gnupath";
- push @mirrors, "ftp://ftp.digex.net/pub/gnu/$gnupath";
+ push @mirrors, "ftp://ftp.gnu.org/gnu/$1";
+ push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$1";
+ push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$1";
+ push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$1";
+ push @mirrors, "ftp://ftp.uu.net/archive/systems/gnu/$1";
+ push @mirrors, "ftp://ftp.eu.uu.net/pub/gnu/$1";
+ push @mirrors, "ftp://ftp.leo.org/pub/comp/os/unix/gnu/$1";
+ push @mirrors, "ftp://ftp.digex.net/pub/gnu/$1";
+ } elsif ($mirror =~ /^\@KERNEL\/(.+)$/) {
+ push @mirrors, "ftp://ftp.us.kernel.org/pub/$1";
+ push @mirrors, "http://ftp.us.kernel.org/pub/$1";
+ push @mirrors, "ftp://ftp.kernel.org/pub/$1";
+ push @mirrors, "http://ftp.kernel.org/pub/$1";
+ push @mirrors, "ftp://ftp.de.kernel.org/pub/$1";
+ push @mirrors, "http://ftp.de.kernel.org/pub/$1";
+ push @mirrors, "ftp://ftp.fr.kernel.org/pub/$1";
+ push @mirrors, "http://ftp.fr.kernel.org/pub/$1";
} else {
push @mirrors, $mirror;
}