diff options
| author | Loïc Hoguin <[email protected]> | 2014-11-01 16:59:48 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2014-11-01 16:59:48 +0100 |
| commit | 724f024bbffaa56dadb10ed88130831ed7e81b09 (patch) | |
| tree | 2ab33a89018184bc55e236fba20808f26b19dfbb /plugins/dialyzer.mk | |
| parent | 16c531430d89e97a40fc275878a56390c069e407 (diff) | |
| download | erlang.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 '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) |