diff options
author | Badlop <badlop@process-one.net> | 2021-02-17 17:24:36 +0100 |
---|---|---|
committer | Badlop <badlop@process-one.net> | 2021-02-19 17:00:39 +0100 |
commit | 3720b42b0f0a239b208ba7de0bd069ce7165fd7a (patch) | |
tree | a5f025ab4833e32858cd01950ee4eba3d1162bde /Makefile.in | |
parent | Fix Dialyzer warning about function contract that changed in fad14ff31 (diff) |
When using rebar3, "make dialyzer" needs just a single call
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index bb5001f85..c7b799ac7 100644 --- a/Makefile.in +++ b/Makefile.in @@ -362,6 +362,10 @@ TAGS: Makefile: Makefile.in +ifeq "$(IS_REBAR3)" "1" +dialyzer: + $(REBAR) dialyzer +else deps := $(wildcard $(DEPSDIR)/*/ebin) dialyzer/erlang.plt: @@ -400,6 +404,7 @@ dialyzer: erlang_plt deps_plt ejabberd_plt @dialyzer --plts dialyzer/*.plt --no_check_plt \ --get_warnings -o dialyzer/error.log ebin; \ status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi +endif test: @echo "************************** NOTICE ***************************************" |