diff options
| author | Krzysztof Jurewicz <[email protected]> | 2018-07-01 11:56:40 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-07-05 13:05:04 +0200 |
| commit | a52826d6f65fb1d051d860ef17204c0a4342604a (patch) | |
| tree | 9a92507c819846e19f880ef7f9dedd088ad94108 /plugins/dialyzer.mk | |
| parent | aecd55bd7dceadb993acc5834876416db95a77b8 (diff) | |
| download | erlang.mk-a52826d6f65fb1d051d860ef17204c0a4342604a.tar.gz erlang.mk-a52826d6f65fb1d051d860ef17204c0a4342604a.tar.bz2 erlang.mk-a52826d6f65fb1d051d860ef17204c0a4342604a.zip | |
Swallow warnings when creating a PLT
Diffstat (limited to 'plugins/dialyzer.mk')
| -rw-r--r-- | plugins/dialyzer.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 482857f..3978bc8 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -46,7 +46,7 @@ $(DIALYZER_PLT): deps app $(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 $(DIALYZER_PLT_OPTS) --apps \ - erts kernel stdlib $(PLT_APPS) $(OTP_DEPS) $(LOCAL_DEPS) $(DEPS_LOG) + erts kernel stdlib $(PLT_APPS) $(OTP_DEPS) $(LOCAL_DEPS) $(DEPS_LOG) || test $$? -eq 2 plt: $(DIALYZER_PLT) |