diff options
| author | David Bremner <david@tethera.net> | 2015-10-30 07:12:50 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2015-10-30 07:14:41 -0300 |
| commit | bf511cb6979ede33d17d9da6f46f71ea287461d8 (patch) | |
| tree | 59383ff2cfd6804868e712b885dcdb24e891e395 /Makefile.local | |
| parent | 1dd0ec39916cdd31aa91f3dbdfd91a071d5d2727 (diff) | |
release: disable wget certificate checkdebian/0.21-10.21
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.
Diffstat (limited to 'Makefile.local')
| -rw-r--r-- | Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.local b/Makefile.local index d58cea04..066ecf23 100644 --- 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."; \ |