diff options
-rwxr-xr-x | scripts/download.pl | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index dd49255367..cdccae133f 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -243,7 +243,7 @@ foreach my $mirror (@ARGV) { push @mirrors, "ftp://ftp.riken.jp/Linux/kernel.org/$dir"; push @mirrors, "ftp://www.mirrorservice.org/sites/ftp.kernel.org/pub/$dir"; } - } elsif ($mirror =~ /^\@GNOME\/(.+)$/) { + } elsif ($mirror =~ /^\@GNOME\/(.+)$/) { push @mirrors, "https://mirror.csclub.uwaterloo.ca/gnome/sources/$1"; push @mirrors, "http://ftp.acc.umu.se/pub/GNOME/sources/$1"; push @mirrors, "http://ftp.kaist.ac.kr/gnome/sources/$1"; @@ -252,8 +252,7 @@ foreach my $mirror (@ARGV) { push @mirrors, "http://ftp.belnet.be/ftp.gnome.org/sources/$1"; push @mirrors, "ftp://ftp.cse.buffalo.edu/pub/Gnome/sources/$1"; push @mirrors, "ftp://ftp.nara.wide.ad.jp/pub/X11/GNOME/sources/$1"; - } - else { + } else { push @mirrors, $mirror; } } |