diff options
| -rwxr-xr-x | scripts/download.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index f17500f3c1..d6a55b634c 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -152,8 +152,8 @@ foreach my $mirror (@ARGV) { push @mirrors, "http://downloads.sourceforge.net/$1"; } } elsif ($mirror =~ /^\@GNU\/(.+)$/) { - push @mirrors, "http://ftp.gnu.org/pub/gnu/$1"; push @mirrors, "http://ftpmirror.gnu.org/$1"; + push @mirrors, "http://ftp.gnu.org/pub/gnu/$1"; push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$1"; push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$1"; push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$1"; |