aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEric B Merritt <[email protected]>2013-04-05 16:47:09 -0700
committerEric B Merritt <[email protected]>2013-04-05 16:47:09 -0700
commit4e4c4077de18f7374ea72ff518fbb6dbb271ea3c (patch)
treeeadd7c19d106819f062b0694e922e74e9e12f8fb
parenta96ae5dc597cbc01515c75fea9f41a6d79be91b3 (diff)
downloadrelx-4e4c4077de18f7374ea72ff518fbb6dbb271ea3c.tar.gz
relx-4e4c4077de18f7374ea72ff518fbb6dbb271ea3c.tar.bz2
relx-4e4c4077de18f7374ea72ff518fbb6dbb271ea3c.zip
Hopefully force dialyzer to produce output
-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