25
1
mirror of https://github.com/processone/ejabberd.git synced 2024-11-20 16:15:59 +01:00

When using rebar3, "make dialyzer" needs just a single call

This commit is contained in:
Badlop 2021-02-17 17:24:36 +01:00
parent 69be0abdba
commit 3720b42b0f

View File

@ -362,6 +362,10 @@ TAGS:
Makefile: Makefile.in Makefile: Makefile.in
ifeq "$(IS_REBAR3)" "1"
dialyzer:
$(REBAR) dialyzer
else
deps := $(wildcard $(DEPSDIR)/*/ebin) deps := $(wildcard $(DEPSDIR)/*/ebin)
dialyzer/erlang.plt: dialyzer/erlang.plt:
@ -400,6 +404,7 @@ dialyzer: erlang_plt deps_plt ejabberd_plt
@dialyzer --plts dialyzer/*.plt --no_check_plt \ @dialyzer --plts dialyzer/*.plt --no_check_plt \
--get_warnings -o dialyzer/error.log ebin; \ --get_warnings -o dialyzer/error.log ebin; \
status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi
endif
test: test:
@echo "************************** NOTICE ***************************************" @echo "************************** NOTICE ***************************************"