diff options
Diffstat (limited to 'plugins/dialyzer.mk')
| -rw-r--r-- | plugins/dialyzer.mk | 3 |
1 files changed, 2 insertions, 1 deletions
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) |