diff options
| -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 ***************************************" |