download.pl: Change SourceForge address to HTTPS.

SourceForge has supported HTTPS for its downloads for a long time now.

I have not been able to see any failures resulting from this change.

Signed-off-by: Rosen Penev <rosenp@gmail.com>

diff --git a/scripts/download.pl b/scripts/download.pl
index f5c3f71056d2f10b93b6c28960c199a7e10bff95..324cfdb3b3102924eee361da17c8e587ac100765 100755 (executable)
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -191,7 +191,7 @@ foreach my $mirror (@ARGV) {
        if ($mirror =~ /^\@SF\/(.+)$/) {
                # give sourceforge a few more tries, because it redirects to different mirrors
                for (1 .. 5) {
-                       push @mirrors, "http://downloads.sourceforge.net/$1";
+                       push @mirrors, "https://downloads.sourceforge.net/$1";
                }
        } elsif ($mirror =~ /^\@APACHE\/(.+)$/) {
                push @mirrors, "https://mirror.netcologne.de/apache.org/$1";