test-desert-island wasn't catching https downloads

I think the desert-island build is broken, but the automated test wasn't
catching it because of this bug.

diff --git a/misc/build_helpers/check-build.py b/misc/build_helpers/check-build.py
index e293c6a1bea5313062f1bff2bed2b67fa11d27c7..37381cd42009bbcc9d22d2a36f0c4db6de6d8f3a 100644 (file)
--- a/misc/build_helpers/check-build.py
+++ b/misc/build_helpers/check-build.py
@@ -27,7 +27,8 @@ for line in open(build_out, "r"):
         # doesn't even try to check for new packages on remote hosts
         # if it has all the packages that it needs locally, but we
         # currently don't enforce that stronger requirement.
-        if line.startswith("Downloading http:"):
+        if (line.startswith("Downloading http:") or
+            line.startswith("Downloading https:")):
             print line,
             good = False
 if good: