summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTuncer Ayaz <tuncer.ayaz@gmail.com>2011-09-02 19:51:18 +0200
committerTuncer Ayaz <tuncer.ayaz@gmail.com>2011-09-02 19:51:18 +0200
commitc2a5d286f016f53c35ea5823b584883436ea307c (patch)
tree90ebb7f9d096d8ac600d40d25f7395ecd1aaeac8 /Makefile
parent3fa6f6ab7caaa8d797df9717ce7239096a2851a9 (diff)
Add check target to Makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile10
1 files changed, 9 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 1fefd43..80d52ac 100644
--- a/Makefile
+++ b/Makefile
@@ -2,4 +2,12 @@ all:
./bootstrap
clean:
- @rm -rf rebar ebin/*.beam inttest/rt.work \ No newline at end of file
+ @rm -rf rebar ebin/*.beam inttest/rt.work
+
+debug:
+ ./bootstrap debug
+
+check: debug
+ -@./rebar xref
+ -@dialyzer ebin --verbose -Wunmatched_returns -Werror_handling \
+ -Wrace_conditions -Wunderspecs