diff options
Diffstat (limited to 'plugins/dialyzer.mk')
-rw-r--r-- | plugins/dialyzer.mk | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 4454618..e7f502e 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -42,8 +42,10 @@ define filter_opts.erl endef $(DIALYZER_PLT): deps app - $(verbose) dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(OTP_DEPS) $(LOCAL_DEPS) \ - `test -f $(ERLANG_MK_TMP)/deps.log && cat $(ERLANG_MK_TMP)/deps.log` + $(eval DEPS_LOG := $(shell test -f $(ERLANG_MK_TMP)/deps.log && \ + while read p; do test -d $$p/ebin && echo $$p/ebin; done <$(ERLANG_MK_TMP)/deps.log)) + $(verbose) dialyzer --build_plt --apps erts kernel stdlib \ + $(PLT_APPS) $(OTP_DEPS) $(LOCAL_DEPS) $(DEPS_LOG) plt: $(DIALYZER_PLT) |