From e927a8228b5505b550fc42175cf2ae8c91f6d7d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@dev-extend.eu>
Date: Tue, 31 Jan 2012 08:49:25 +0100
Subject: Pass --no_native option to dialyzer to improve dialyzing times

Goes from 36s to 24s on my laptop.
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3