summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTuncer Ayaz <tuncer.ayaz@gmail.com>2012-01-01 16:29:02 +0100
committerTuncer Ayaz <tuncer.ayaz@gmail.com>2012-01-01 17:04:37 +0100
commitaf3eab652259260b139456807557342ae4876e54 (patch)
tree702d1ad1786abcf6b1adf2e02fe70f0034b072e8 /Makefile
parent27e5a0ae5bce0f9754e4ee596eb01a5f8fab5717 (diff)
Enhance make check (Inspired-by: Stavros Aronis)
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile22
1 files changed, 17 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index 375bc81..e521f08 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+.PHONY: dialyzer_warnings xref_warnings
+
all:
./bootstrap
@@ -5,9 +7,19 @@ clean:
@rm -rf rebar ebin/*.beam inttest/rt.work
debug:
- ./bootstrap debug
+ @./bootstrap debug
+
+check: debug xref dialyzer
+
+xref: xref_warnings
+ @diff -U0 xref_reference xref_warnings
+
+xref_warnings:
+ -@./rebar xref > xref_warnings
+
+dialyzer: dialyzer_warnings
+ @diff -U0 dialyzer_reference dialyzer_warnings
-check: debug
- -@./rebar xref
- -@dialyzer ebin --verbose -Wunmatched_returns -Werror_handling \
- -Wrace_conditions
+dialyzer_warnings:
+ -@dialyzer -q -n ebin -Wunmatched_returns -Werror_handling \
+ -Wrace_conditions > dialyzer_warnings