From cf7a37f11934d0be6b27f5e77fee9a6da715093a Mon Sep 17 00:00:00 2001 From: Travis Kemen Date: Sat, 13 Feb 2010 01:07:44 +0000 Subject: [PATCH] add geodns addresses for the kernel, closes #6574 SVN-Revision: 19621 --- scripts/download.pl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/download.pl b/scripts/download.pl index 56069469672f..fe27df5e8fba 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"; -- 2.30.2