diff options
| author | Loïc Hoguin <[email protected]> | 2015-07-04 18:10:03 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2015-07-04 18:10:03 +0200 |
| commit | 0eb54a71605a955df14c5df793ebe676c86259f9 (patch) | |
| tree | a9259406c19b034c32d426d570b941e89e237058 /plugins/dialyzer.mk | |
| parent | c2debce2bfcf2400905ff56c4a80e4c3251c6e56 (diff) | |
| download | erlang.mk-0eb54a71605a955df14c5df793ebe676c86259f9.tar.gz erlang.mk-0eb54a71605a955df14c5df793ebe676c86259f9.tar.bz2 erlang.mk-0eb54a71605a955df14c5df793ebe676c86259f9.zip | |
Add $(verbose) to avoid completely silencing commands
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) |