diff --git a/scripts/download.pl b/scripts/download.pl index 042b1cce7d79371fc6f8f30f7fe908e0464e626c..d79950f9b2ce3ee9031fe95cc660b7b6d81a0d5b 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -123,7 +123,7 @@ foreach my $mirror (@ARGV) { if ($mirror =~ /^\@SF\/(.+)$/) { # give sourceforge a few more tries, because it redirects to different mirrors for (1 .. 5) { - push @mirrors, "http://downloads.sourceforge.net/$1"; + push @mirrors, "http://downloads.sourceforge.net/project/$1"; } } elsif ($mirror =~ /^\@GNU\/(.+)$/) { push @mirrors, "ftp://ftp.gnu.org/gnu/$1";