From 76b990208f2e19af8d43dc5b5bac01485f644835 Mon Sep 17 00:00:00 2001 From: AmadeusGhost <42570690+AmadeusGhost@users.noreply.github.com> Date: Thu, 17 Jun 2021 01:19:53 +0800 Subject: [PATCH] download.pl: add more mirrors for SourceForge Signed-off-by: Tianling Shen --- scripts/download.pl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/download.pl b/scripts/download.pl index ae56fe1f98..46be8c43ab 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -190,6 +190,8 @@ sub cleanup foreach my $mirror (@ARGV) { if ($mirror =~ /^\@SF\/(.+)$/) { + push @mirrors, "https://freefr.dl.sourceforge.net/$1"; + push @mirrors, "https://netix.dl.sourceforge.net/$1"; # give sourceforge a few more tries, because it redirects to different mirrors for (1 .. 5) { push @mirrors, "https://downloads.sourceforge.net/$1";