add geodns addresses for the kernel, closes #6574
[openwrt/openwrt.git] / scripts / download.pl
index 5606946..fe27df5 100755 (executable)
@@ -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";