mirror of
https://git.notmuchmail.org/git/notmuch
synced 2025-01-03 07:11:41 +01:00
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.
This commit is contained in:
parent
2b1b6df06f
commit
2e13698812
1 changed files with 10 additions and 5 deletions
|
@ -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.
|
||||
|
|
Loading…
Reference in a new issue