diff options
Diffstat (limited to 'plugins/shell.mk')
-rw-r--r-- | plugins/shell.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/shell.mk b/plugins/shell.mk index e771cbf..00d2c52 100644 --- a/plugins/shell.mk +++ b/plugins/shell.mk @@ -24,7 +24,7 @@ help:: $(foreach dep,$(SHELL_DEPS),$(eval $(call dep_target,$(dep)))) build-shell-deps: $(ALL_SHELL_DEPS_DIRS) - $(verbose) for dep in $(ALL_SHELL_DEPS_DIRS) ; do $(MAKE) -C $$dep ; done + $(verbose) set -e; for dep in $(ALL_SHELL_DEPS_DIRS) ; do $(MAKE) -C $$dep ; done shell: build-shell-deps $(gen_verbose) $(SHELL_ERL) -pa $(SHELL_PATHS) $(SHELL_OPTS) |