summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-05-20 02:52:23 +0200
committertv <tv@krebsco.de>2016-05-20 02:55:18 +0200
commit28d623cf98b5d5b0f23b1b7761c884b8631b8f78 (patch)
tree64006dfa169cad39b08634f68781d71932c5a442
parentee0c30cbe5a5614e7f5f2e6edc13fb0c7c434ad4 (diff)
Makefile: disable default goal
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 7252ca70e..58a46c643 100644
--- a/Makefile
+++ b/Makefile
@@ -63,6 +63,10 @@ execute = \
script=$$(echo "$$result" | jq -r .) && \
echo "$$script" | PS5=% sh
+ifeq ($(MAKECMDGOALS),)
+$(error No goals specified)
+endif
+
# usage: make deploy system=foo [target_host=bar]
deploy: ssh ?= ssh
deploy: