diff options
Diffstat (limited to 'plugins/shell.mk')
| -rw-r--r-- | plugins/shell.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/shell.mk b/plugins/shell.mk index 6636b92..7f32936 100644 --- a/plugins/shell.mk +++ b/plugins/shell.mk @@ -13,7 +13,7 @@ ALL_SHELL_DEPS_DIRS = $(addprefix $(DEPS_DIR)/,$(SHELL_DEPS)) # Core targets help:: - @printf "%s\n" "" \ + $(verbose) printf "%s\n" "" \ "Shell targets:" \ " shell Run an erlang shell with SHELL_OPTS or reasonable default" @@ -22,7 +22,7 @@ help:: $(foreach dep,$(SHELL_DEPS),$(eval $(call dep_target,$(dep)))) build-shell-deps: $(ALL_SHELL_DEPS_DIRS) - @for dep in $(ALL_SHELL_DEPS_DIRS) ; do $(MAKE) -C $$dep ; done + $(verbose) for dep in $(ALL_SHELL_DEPS_DIRS) ; do $(MAKE) -C $$dep ; done shell: build-shell-deps $(gen_verbose) erl $(SHELL_PATH) $(SHELL_OPTS) |