aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 55565b0..204a130 100644
--- a/Makefile
+++ b/Makefile
@@ -77,11 +77,11 @@ test: compile eunit ct
$(DEPS_PLT):
@echo Building local plt at $(DEPS_PLT)
@echo
- dialyzer --output_plt $(DEPS_PLT) --build_plt \
+ dialyzer --statistics --output_plt $(DEPS_PLT) --build_plt \
--apps erts kernel stdlib -r deps
dialyzer: $(DEPS_PLT)
- dialyzer --fullpath --plt $(DEPS_PLT) -I include -Wrace_conditions -r ./ebin
+ dialyzer --statistics --fullpath --plt $(DEPS_PLT) -I include -Wrace_conditions -r ./ebin
typer:
typer --plt $(DEPS_PLT) -r ./src