diff options
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/dialyzer.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 530f809..23d16ee 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -15,6 +15,8 @@ DIALYZER_OPTS ?= -Werror_handling -Wrace_conditions \ # Core targets. +check:: dialyze + distclean:: distclean-plt help:: |