diff options
| author | Loïc Hoguin <[email protected]> | 2018-11-27 19:35:10 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-11-27 19:35:10 +0100 |
| commit | 31c93f4ad6b55b90ccb07a047acb941af645c059 (patch) | |
| tree | 7e975f68ebd4c5daa4338444a8c7d8cc9af5050b /plugins/shell.mk | |
| parent | 933a967c0f99e3d201696c1a93335d119df23d3f (diff) | |
| download | erlang.mk-31c93f4ad6b55b90ccb07a047acb941af645c059.tar.gz erlang.mk-31c93f4ad6b55b90ccb07a047acb941af645c059.tar.bz2 erlang.mk-31c93f4ad6b55b90ccb07a047acb941af645c059.zip | |
Remove some unnecessary -pa arguments
They're already in ERL_LIBS.
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)) |