diff options
author | Loïc Hoguin <[email protected]> | 2018-12-04 17:32:07 +0100 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2018-12-04 17:32:07 +0100 |
commit | 3acdef8ed9063b07c777970b264cef67592f90ee (patch) | |
tree | 8e746cab3cdb90c28ea908c47466f67ff987c043 /plugins/dialyzer.mk | |
parent | 671052aaa9e83ff959b5782387223f7439be41d4 (diff) | |
download | erlang.mk-3acdef8ed9063b07c777970b264cef67592f90ee.tar.gz erlang.mk-3acdef8ed9063b07c777970b264cef67592f90ee.tar.bz2 erlang.mk-3acdef8ed9063b07c777970b264cef67592f90ee.zip |
Fix and document Dialyzer against beam files
Diffstat (limited to 'plugins/dialyzer.mk')
-rw-r--r-- | plugins/dialyzer.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 4c2c81d..41e5871 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -54,7 +54,7 @@ distclean-plt: $(gen_verbose) rm -f $(DIALYZER_PLT) ifneq ($(wildcard $(DIALYZER_PLT)),) -dialyze: +dialyze: $(if $(filter --src,$(DIALYZER_DIRS)),,deps app) else dialyze: $(DIALYZER_PLT) endif |