download.pl: Change OpenWrt mirrors to HTTPS.

These have supported HTTPS for quite a while. I have not seen any obvious breakage.

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

diff --git a/scripts/download.pl b/scripts/download.pl
index 324cfdb3b3102924eee361da17c8e587ac100765..34fd6a6f0b6bff3d1d55aee818e24fc41c6650da 100755 (executable)
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -257,10 +257,10 @@ foreach my $mirror (@ARGV) {
        }
 }
 
-#push @mirrors, 'http://mirror1.openwrt.org';
-push @mirrors, 'http://sources.lede-project.org';
-push @mirrors, 'http://mirror2.openwrt.org/sources';
-push @mirrors, 'http://downloads.openwrt.org/sources';
+#push @mirrors, 'https://mirror1.openwrt.org';
+push @mirrors, 'https://sources.lede-project.org';
+push @mirrors, 'https://mirror2.openwrt.org/sources';
+push @mirrors, 'https://downloads.openwrt.org/sources';
 
 while (!-f "$target/$filename") {
        my $mirror = shift @mirrors;