diff options
Diffstat (limited to 'plugins')
-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 |