Makefile: If the user overrides HOSTS, don't install locally anyway.

diff --git a/Makefile b/Makefile
index b0f4612086b1cad546e09b7002572316364f4cd5..1c483839d1574c38719e1bd76ca4f0ce1ab05278 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -165,7 +165,7 @@ $(addprefix install/, $(OTHERHOSTS)): install/%: %.sh
        $(ROOT) ssh root@$* rm -f $(FIREWALL).new
 
 ## General installation target.
-install: all install/$(THISHOST) $(addprefix install/,$(HOSTS))
+install: all $(addprefix install/,$(HOSTS))
 .PHONY: install $(addprefix install/,$(HOSTS))
 
 ###----- That's all, folks --------------------------------------------------