diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index a20fa7cbd8dd..d74dba59344c 100644 --- a/Makefile.in +++ b/Makefile.in @@ -233,7 +233,7 @@ distclean : clean compilerplugins-clean # custom command # cmd: - echo "custom cmd" && ( $(cmd) ) + $(if $(verbose),echo "custom cmd" &&) ( $(cmd) ) # # Fetch |