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 | 01240b09af1ff216ffe169be1c3357ea0ed78cbe (patch) | |
tree | 741ea72992fa586fad383beed50a6c2a155787d7 | |
parent | 33c76565b3358c843bc94e42cec74e4e783bdfb7 (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: |