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 9d2280f..d241b9f 100644 --- a/plugins/shell.mk +++ b/plugins/shell.mk @@ -7,7 +7,7 @@ # Configuration. SHELL_ERL ?= erl -SHELL_PATHS ?= $(CURDIR)/ebin $(APPS_DIR)/*/ebin $(DEPS_DIR)/*/ebin $(TEST_DIR) +SHELL_PATHS ?= $(CURDIR)/ebin $(TEST_DIR) SHELL_OPTS ?= ALL_SHELL_DEPS_DIRS = $(addprefix $(DEPS_DIR)/,$(SHELL_DEPS)) |