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