diff options
| author | tv <tv@krebsco.de> | 2016-05-20 02:52:23 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-05-20 02:55:18 +0200 |
| commit | 28d623cf98b5d5b0f23b1b7761c884b8631b8f78 (patch) | |
| tree | 64006dfa169cad39b08634f68781d71932c5a442 | |
| parent | ee0c30cbe5a5614e7f5f2e6edc13fb0c7c434ad4 (diff) | |
Makefile: disable default goal
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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: |