diff options
| -rwxr-xr-x | scripts/download.pl | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index 2ed852a231..f17500f3c1 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -167,10 +167,6 @@ foreach my $mirror (@ARGV) { foreach my $dir (@extra) { push @mirrors, "ftp://ftp.all.kernel.org/pub/$dir"; push @mirrors, "http://ftp.all.kernel.org/pub/$dir"; - push @mirrors, "ftp://ftp.de.kernel.org/pub/$dir"; - push @mirrors, "http://ftp.de.kernel.org/pub/$dir"; - push @mirrors, "ftp://ftp.fr.kernel.org/pub/$dir"; - push @mirrors, "http://ftp.fr.kernel.org/pub/$dir"; } } elsif ($mirror =~ /^\@GNOME\/(.+)$/) { push @mirrors, "http://ftp.gnome.org/pub/GNOME/sources/$1"; |