diff options
| -rwxr-xr-x | scripts/download.pl | 3 |
1 files changed, 3 insertions, 0 deletions
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; } |