From 4e4c4077de18f7374ea72ff518fbb6dbb271ea3c Mon Sep 17 00:00:00 2001 From: Eric B Merritt Date: Fri, 5 Apr 2013 16:47:09 -0700 Subject: Hopefully force dialyzer to produce output --- Makefile | 4 ++-- 1 file 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 -- cgit v1.2.3