release: disable wget certificate check

this is a minor security hole, but no worse than what we had before. In
particular the worst that happens is someone prevents us from making a
release. Which is hardly worth the trouble of jacking the URL.

diff --git a/Makefile.local b/Makefile.local
index d58cea04746a498efe0b2016822b6671822f631c..066ecf23360c469eddb0c16490141c6f99541489 100644 (file)
--- a/Makefile.local
+++ b/Makefile.local
@@ -224,7 +224,7 @@ release-checks:
 .PHONY: verify-newer
 verify-newer:
        @echo -n "Checking that no $(VERSION) release already exists..."
-       @wget -q -O /dev/null $(RELEASE_URL)/$(TAR_FILE) ; \
+       @wget -q --no-check-certificate -O /dev/null $(RELEASE_URL)/$(TAR_FILE) ; \
        case $$? in \
           8) echo "Good." ;; \
           0) echo "Ouch."; \