diff options
| -rwxr-xr-x | scripts/download.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index 43dc7965b8..9f46810a82 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -63,6 +63,7 @@ foreach my $mirror (@ARGV) { push @mirrors, "http://$1.dl.sourceforge.net/sourceforge/$sfpath"; }; } + push @mirrors, "http://dl.sourceforge.net/sourceforge/$sfpath"; close SF; } elsif ($mirror =~ /^\@GNU\/(.+)$/) { my $gnupath = $1; @@ -70,6 +71,10 @@ foreach my $mirror (@ARGV) { push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$gnupath"; push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$gnupath"; push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$gnupath"; + push @mirrors, "ftp://ftp.uu.net/archive/systems/gnu/$gnupath"; + push @mirrors, "ftp://ftp.eu.uu.net/pub/gnu/$gnupath"; + push @mirrors, "ftp://ftp.leo.org/pub/comp/os/unix/gnu/$gnupath"; + push @mirrors, "ftp://ftp.digex.net/pub/gnu/$gnupath"; } else { push @mirrors, $mirror; } |