From 724f024bbffaa56dadb10ed88130831ed7e81b09 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Sat, 1 Nov 2014 16:59:48 +0100 Subject: Allow overriding the method and directories analyzed by Dialyzer --- plugins/dialyzer.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'plugins') diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index db1143a..3482c1b 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -9,6 +9,7 @@ DIALYZER_PLT ?= $(CURDIR)/.$(PROJECT).plt export DIALYZER_PLT PLT_APPS ?= +DIALYZER_DIRS ?= --src -r src DIALYZER_OPTS ?= -Werror_handling -Wrace_conditions \ -Wunmatched_returns # -Wunderspecs @@ -37,4 +38,4 @@ dialyze: else dialyze: $(DIALYZER_PLT) endif - @dialyzer --no_native --src -r src $(DIALYZER_OPTS) + @dialyzer --no_native $(DIALYZER_DIRS) $(DIALYZER_OPTS) -- cgit v1.2.3