diff options
Diffstat (limited to 'plugins/ci.mk')
| -rw-r--r-- | plugins/ci.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/ci.mk b/plugins/ci.mk index b97c087..17110a5 100644 --- a/plugins/ci.mk +++ b/plugins/ci.mk @@ -19,7 +19,7 @@ ci-setup:: ci-extra:: $(verbose) : -ci_verbose_0 = @echo " CI " $(1); +ci_verbose_0 = @echo " CI " $1; ci_verbose = $(ci_verbose_$(V)) define ci_target |