aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Sloughter <[email protected]>2013-04-05 16:49:43 -0700
committerTristan Sloughter <[email protected]>2013-04-05 16:49:43 -0700
commitd2999b6eac6728a92b06a9a94d68ca26581704b7 (patch)
tree55483e6406c107949c7284b6c36eddd2af7beebd
parentaada4e5cede64d03c1056a1812e0f9cac179e0c2 (diff)
parent4e4c4077de18f7374ea72ff518fbb6dbb271ea3c (diff)
downloadrelx-d2999b6eac6728a92b06a9a94d68ca26581704b7.tar.gz
relx-d2999b6eac6728a92b06a9a94d68ca26581704b7.tar.bz2
relx-d2999b6eac6728a92b06a9a94d68ca26581704b7.zip
Merge pull request #45 from ericbmerritt/next
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