dialyzer plugins/*/ebin
This commit is contained in:
parent
20cfc2754c
commit
ba8c81e805
7
Makefile
7
Makefile
|
@ -53,12 +53,13 @@ APPS = erts kernel stdlib sasl crypto ssl os_mon syntax_tools \
|
|||
|
||||
check_plt: compile
|
||||
dialyzer --check_plt --plt $(PLT) --apps $(APPS) \
|
||||
deps/*/ebin ./ebin
|
||||
deps/*/ebin ./ebin plugins/*/ebin
|
||||
|
||||
build_plt: compile
|
||||
dialyzer --build_plt --output_plt $(PLT) --apps $(APPS) \
|
||||
deps/*/ebin ./ebin
|
||||
deps/*/ebin ./ebin plugins/*/ebin
|
||||
|
||||
dialyzer: compile
|
||||
dialyzer -Wno_return --plt $(PLT) deps/*/ebin ./ebin
|
||||
dialyzer -Wno_return --plt $(PLT) deps/*/ebin ./ebin plugins/*/ebin
|
||||
|
||||
|
||||
|
|
Loading…
Reference in New Issue