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