diff options
Diffstat (limited to 'plugins/dialyzer.mk')
-rw-r--r-- | plugins/dialyzer.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index c432d5b..ddced75 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -20,7 +20,7 @@ check:: dialyze distclean:: distclean-plt help:: - @printf "%s\n" "" \ + $(verbose) printf "%s\n" "" \ "Dialyzer targets:" \ " plt Build a PLT file for this project" \ " dialyze Analyze the project using Dialyzer" @@ -28,7 +28,7 @@ help:: # Plugin-specific targets. $(DIALYZER_PLT): deps app - @dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(OTP_DEPS) $(ALL_DEPS_DIRS) + $(verbose) dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(OTP_DEPS) $(ALL_DEPS_DIRS) plt: $(DIALYZER_PLT) @@ -40,4 +40,4 @@ dialyze: else dialyze: $(DIALYZER_PLT) endif - @dialyzer --no_native $(DIALYZER_DIRS) $(DIALYZER_OPTS) + $(verbose) dialyzer --no_native $(DIALYZER_DIRS) $(DIALYZER_OPTS) |