summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTuncer Ayaz <tuncer.ayaz@gmail.com>2013-02-11 22:28:03 +0100
committerTuncer Ayaz <tuncer.ayaz@gmail.com>2013-03-04 17:16:00 +0100
commit8b76d23aaec26cde4bae3c3fd672a18c83a1e07c (patch)
tree0a00e92a7b33bd33d6323e67940923cd193c5c04
parent720d71e47dcc7ffffba032395611228e321e6fb9 (diff)
Makefile: call Dialyzer with -nn flag
This speeds up 'make dialyzer' for the common case of Erlang/OTP built without --enable-native-libs.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3a3eb63..851edc2 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ dialyzer: dialyzer_warnings
@diff -U0 dialyzer_reference dialyzer_warnings
dialyzer_warnings:
- -@dialyzer -q -n ebin -Wunmatched_returns -Werror_handling \
+ -@dialyzer -q -nn -n ebin -Wunmatched_returns -Werror_handling \
-Wrace_conditions > dialyzer_warnings
binary: VSN = $(shell ./rebar -V)