diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/download.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index ebb0d7af19..af13c0ae00 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -221,7 +221,8 @@ foreach my $mirror (@ARGV) { push @mirrors, "http://mirror.internode.on.net/pub/gnu/$1"; push @mirrors, "http://mirror.navercorp.com/gnu/$1"; push @mirrors, "ftp://mirrors.rit.edu/gnu/$1"; - push @mirrors, "ftp://download.xs4all.nl/pub/gnu/"; + push @mirrors, "ftp://download.xs4all.nl/pub/gnu/$1"; + push @mirrors, "https://ftp.gnu.org/gnu/$1"; } elsif ($mirror =~ /^\@SAVANNAH\/(.+)$/) { push @mirrors, "https://mirror.netcologne.de/savannah/$1"; push @mirrors, "https://mirror.csclub.uwaterloo.ca/nongnu/$1"; |