downloads.xml: handle https mirror URLs
diff --git a/frameworks/downloads.xml b/frameworks/downloads.xml
index 538f142..205ae30 100644
--- a/frameworks/downloads.xml
+++ b/frameworks/downloads.xml
@@ -408,6 +408,10 @@
<replacefilter token="http="
value="http:" />
</replace>
+ <replace file="${basedir}/mirror.json">
+ <replacefilter token="https="
+ value="https:" />
+ </replace>
<property file="${basedir}/mirror.json" />
<delete file="${basedir}/mirror.json" />
<echo>Using mirror: ${preferred}</echo>