summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDave Smith <dizzyd@dizzyd.com>2013-04-10 15:56:10 -0700
committerDave Smith <dizzyd@dizzyd.com>2013-04-10 15:56:10 -0700
commit331c0809c887dae42a002292de82e3ecea2a627e (patch)
tree0a00e92a7b33bd33d6323e67940923cd193c5c04
parent720d71e47dcc7ffffba032395611228e321e6fb9 (diff)
parent8b76d23aaec26cde4bae3c3fd672a18c83a1e07c (diff)
Merge pull request #66 from tuncer/dialyzer-no_native
Makefile: call Dialyzer with -nn flag
-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)