diff options
author | Loïc Hoguin <[email protected]> | 2018-12-05 22:27:02 +0100 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2018-12-05 22:27:02 +0100 |
commit | 6b213a52bf48af590fd65dfd95d8fc949ac5f1e5 (patch) | |
tree | 74df0e65ff4912b3f1249481feb004fddc026b3e /plugins/shell.mk | |
parent | 59d7c7dd647c045fd616c58e5816b706534bca2d (diff) | |
download | erlang.mk-6b213a52bf48af590fd65dfd95d8fc949ac5f1e5.tar.gz erlang.mk-6b213a52bf48af590fd65dfd95d8fc949ac5f1e5.tar.bz2 erlang.mk-6b213a52bf48af590fd65dfd95d8fc949ac5f1e5.zip |
SKIP_DEPS should also skip shell deps
Diffstat (limited to 'plugins/shell.mk')
-rw-r--r-- | plugins/shell.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugins/shell.mk b/plugins/shell.mk index 715523c..7c1f8e6 100644 --- a/plugins/shell.mk +++ b/plugins/shell.mk @@ -23,6 +23,9 @@ help:: $(foreach dep,$(SHELL_DEPS),$(eval $(call dep_target,$(dep)))) +ifneq ($(SKIP_DEPS),) +build-shell-deps: +else build-shell-deps: $(ALL_SHELL_DEPS_DIRS) $(verbose) set -e; for dep in $(ALL_SHELL_DEPS_DIRS) ; do \ if [ -z "$(strip $(FULL))" ] && [ ! -L $$dep ] && [ -f $$dep/ebin/dep_built ]; then \ @@ -32,6 +35,7 @@ build-shell-deps: $(ALL_SHELL_DEPS_DIRS) if [ ! -L $$dep ] && [ -d $$dep/ebin ]; then touch $$dep/ebin/dep_built; fi; \ fi \ done +endif shell:: build-shell-deps $(gen_verbose) $(SHELL_ERL) -pa $(SHELL_PATHS) $(SHELL_OPTS) |