Browse Source

Pass --no_native option to dialyzer to improve dialyzing times

Goes from 36s to 24s on my laptop.
Loïc Hoguin 13 years ago
parent
commit
e927a8228b
1 changed files with 2 additions and 2 deletions
  1. 2 2
      Makefile

+ 2 - 2
Makefile

@@ -29,8 +29,8 @@ build-plt:
 		--apps kernel stdlib sasl inets crypto public_key ssl
 		--apps kernel stdlib sasl inets crypto public_key ssl
 
 
 dialyze:
 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:
 docs:
 	@$(REBAR) doc skip_deps=true
 	@$(REBAR) doc skip_deps=true