From c2a5d286f016f53c35ea5823b584883436ea307c Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Fri, 2 Sep 2011 19:51:18 +0200 Subject: [PATCH] Add check target to Makefile --- Makefile | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) 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