add geodns addresses for the kernel, closes #6574

SVN-Revision: 19621

diff --git a/scripts/download.pl b/scripts/download.pl
index 56069469672fe3e0516e58494484c35f5fe8eca4..fe27df5e8fbabbc32b391b33d85afeecf4001304 100755 (executable)
--- 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";