add geodns addresses for the kernel, closes #6574

SVN-Revision: 19621

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";