diff --git a/scripts/download.pl b/scripts/download.pl index 9603e708d1..cd68a7bcd0 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -40,6 +40,9 @@ sub localmirrors { close CONFIG; }; + my $mirror = $ENV{'DOWNLOAD_MIRROR'}; + $mirror and push @mlist, split(/;/, $mirror); + return @mlist; }