aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2012-01-31 08:49:25 +0100
committerLoïc Hoguin <[email protected]>2012-01-31 08:49:25 +0100
commite927a8228b5505b550fc42175cf2ae8c91f6d7d6 (patch)
tree5786177e8061bdb9681bb994dc76bb2f323e0ff9
parente5aef5c1d7be8cffedfedda77d035fa30d5513dc (diff)
downloadcowboy-e927a8228b5505b550fc42175cf2ae8c91f6d7d6.tar.gz
cowboy-e927a8228b5505b550fc42175cf2ae8c91f6d7d6.tar.bz2
cowboy-e927a8228b5505b550fc42175cf2ae8c91f6d7d6.zip
Pass --no_native option to dialyzer to improve dialyzing times
Goes from 36s to 24s on my laptop.
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index e5524f4..c7fcbc4 100644
--- a/Makefile
+++ b/Makefile
@@ -29,8 +29,8 @@ build-plt:
--apps kernel stdlib sasl inets crypto public_key ssl
dialyze:
- @$(DIALYZER) --src src --plt .cowboy_dialyzer.plt -Werror_handling \
- -Wrace_conditions -Wunmatched_returns # -Wunderspecs
+ @$(DIALYZER) --src src --plt .cowboy_dialyzer.plt --no_native \
+ -Werror_handling -Wrace_conditions -Wunmatched_returns # -Wunderspecs
docs:
@$(REBAR) doc skip_deps=true