From e2658eb45de78a6ec33c1e7b832db234d37f8f52 Mon Sep 17 00:00:00 2001 From: Jesper Louis Andersen Date: Sat, 12 Jul 2008 23:51:29 +0200 Subject: [PATCH] Improve dialyzer target. --- Makefile | 2 +- Makefile.config | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f106619..d06953d 100644 --- a/Makefile +++ b/Makefile @@ -14,7 +14,7 @@ libs: cd lib && $(MAKE) dialyzer: libs - $(DIALYZER) --verbose -I $(ETORRENT_LIB)/include -r $(ETORRENT_LIB) + $(DIALYZER) $(DIALYZER_OPTS) --verbose -I $(ETORRENT_LIB)/include -r $(ETORRENT_LIB)/ebin dialyzer-succ: libs $(DIALYZER) --verbose --succ_typings -I $(ETORRENT_LIB)/include -r $(ETORRENT_LIB) diff --git a/Makefile.config b/Makefile.config index 42bb485..a522910 100644 --- a/Makefile.config +++ b/Makefile.config @@ -6,3 +6,4 @@ ERL=erl ERL_FLAGS=+Ktrue +A 128 DIALYZER=dialyzer +DIALYZER_OPTS=-Wunmatched_returns \ No newline at end of file -- 2.11.4.GIT