diff options
Diffstat (limited to 'plugins/escript.mk')
| -rw-r--r-- | plugins/escript.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/escript.mk b/plugins/escript.mk index 534db61..42133eb 100644 --- a/plugins/escript.mk +++ b/plugins/escript.mk @@ -21,7 +21,7 @@ ESCRIPT_STATIC ?= "deps/*/priv/**", "priv/**" distclean:: distclean-escript help:: - @printf "%s\n" "" \ + $(verbose) printf "%s\n" "" \ "Escript targets:" \ " escript Build an executable escript archive" \ |