aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Bremner <bremner@debian.org>2011-07-03 15:18:30 -0300
committerGravatar David Bremner <bremner@debian.org>2011-07-17 10:59:41 -0300
commit2e136988129507a6a8cbac62014122051f156072 (patch)
treeac87dc5551d81620d9364fe134004d877782f00c
parent2b1b6df06f0818b624ef553917b03f8d9abd5135 (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.local15
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.