diff options
| author |  David Bremner <bremner@debian.org> | 2011-07-03 15:18:30 -0300 |
|---|---|---|
| committer | David Bremner <bremner@debian.org> | 2011-07-17 10:59:41 -0300 |
| commit | 2e136988129507a6a8cbac62014122051f156072 (patch) | |
| tree | ac87dc5551d81620d9364fe134004d877782f00c | |
| parent | 2b1b6df06f0818b624ef553917b03f8d9abd5135 (diff) | |
build-system: replace use of ssh with wget for checking the website
The idea is to see if the version we are already releasing exists on
the notmuch website. Using wget allows more people to run this target,
and also allows people with ssh access to run it without access to
their keys.
| -rw-r--r-- | Makefile.local | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/Makefile.local b/Makefile.local index 8a8832da..41feeb37 100644 --- a/Makefile.local +++ b/Makefile.local @@ -180,11 +180,16 @@ verify-version-components: .PHONY: verify-newer verify-newer: @echo -n "Checking that no $(VERSION) release already exists..." - @ssh $(RELEASE_HOST) test ! -e $(RELEASE_DIR)/$(TAR_FILE) \ - || (echo "Ouch." && echo "Found: $(RELEASE_HOST):$(RELEASE_DIR)/$(TAR_FILE)" \ - && echo "Refusing to replace an existing release." \ - && echo "Don't forget to update \"version\" as described in RELEASING before release." && false) - @echo "Good." + @wget -q -O /dev/null $(RELEASE_URL)/$(TAR_FILE) ; \ + case $$? in \ + 8) echo "Good." ;; \ + 0) echo "Ouch."; \ + echo "Found: $(RELEASE_URL)/$(TAR_FILE)"; \ + echo "Refusing to replace an existing release."; \ + echo "Don't forget to update \"version\" as described in RELEASING before release." ; \ + false ;; \ + *) echo "An unexpected error occured"; \ + false;; esac # The user has not set any verbosity, default to quiet mode and inform the # user how to enable verbose compiles. |