diff options
| author | Loïc Hoguin <[email protected]> | 2018-11-26 16:57:25 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-11-26 16:57:25 +0100 |
| commit | f1ff84ab745b0dfacd56be0fb41f035e764240a3 (patch) | |
| tree | 0dc4f7ecc671a3bd5e0955dc08e957b3f0603bf2 /plugins/shell.mk | |
| parent | d66002f706481d3a37ce2e3c81d0228d524a9e2f (diff) | |
| download | erlang.mk-f1ff84ab745b0dfacd56be0fb41f035e764240a3.tar.gz erlang.mk-f1ff84ab745b0dfacd56be0fb41f035e764240a3.tar.bz2 erlang.mk-f1ff84ab745b0dfacd56be0fb41f035e764240a3.zip | |
Use two colons for the shell target
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 c9e9975..9d2280f 100644 --- a/plugins/shell.mk +++ b/plugins/shell.mk @@ -26,5 +26,5 @@ $(foreach dep,$(SHELL_DEPS),$(eval $(call dep_target,$(dep)))) build-shell-deps: $(ALL_SHELL_DEPS_DIRS) $(verbose) set -e; for dep in $(ALL_SHELL_DEPS_DIRS) ; do $(MAKE) -C $$dep ; done -shell: build-shell-deps +shell:: build-shell-deps $(gen_verbose) $(SHELL_ERL) -pa $(SHELL_PATHS) $(SHELL_OPTS) |