diff options
| -rwxr-xr-x | scripts/download.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index 5606946967..fe27df5e8f 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -135,6 +135,8 @@ foreach my $mirror (@ARGV) { 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.geo.kernel.org/pub/$1"; + push @mirrors, "http://ftp.geo.kernel.org/pub/$1"; push @mirrors, "ftp://ftp.all.kernel.org/pub/$1"; push @mirrors, "http://ftp.all.kernel.org/pub/$1"; push @mirrors, "ftp://ftp.de.kernel.org/pub/$1"; |