aboutsummaryrefslogtreecommitdiffstats
path: root/erlang.mk
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2014-11-01 16:59:48 +0100
committerLoïc Hoguin <[email protected]>2014-11-01 16:59:48 +0100
commit724f024bbffaa56dadb10ed88130831ed7e81b09 (patch)
tree2ab33a89018184bc55e236fba20808f26b19dfbb /erlang.mk
parent16c531430d89e97a40fc275878a56390c069e407 (diff)
downloaderlang.mk-724f024bbffaa56dadb10ed88130831ed7e81b09.tar.gz
erlang.mk-724f024bbffaa56dadb10ed88130831ed7e81b09.tar.bz2
erlang.mk-724f024bbffaa56dadb10ed88130831ed7e81b09.zip
Allow overriding the method and directories analyzed by Dialyzer
Diffstat (limited to 'erlang.mk')
-rw-r--r--erlang.mk3
1 files changed, 2 insertions, 1 deletions
diff --git a/erlang.mk b/erlang.mk
index 74820c7..fd7f0fd 100644
--- a/erlang.mk
+++ b/erlang.mk
@@ -628,6 +628,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
@@ -656,7 +657,7 @@ dialyze:
else
dialyze: $(DIALYZER_PLT)
endif
- @dialyzer --no_native --src -r src $(DIALYZER_OPTS)
+ @dialyzer --no_native $(DIALYZER_DIRS) $(DIALYZER_OPTS)
# Copyright (c) 2013-2014, Loïc Hoguin <[email protected]>
# This file is part of erlang.mk and subject to the terms of the ISC License.