diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/dist_minipix.dist | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dist/dist_minipix.dist b/dist/dist_minipix.dist index d34298ef..f5ea59be 100644 --- a/dist/dist_minipix.dist +++ b/dist/dist_minipix.dist @@ -72,7 +72,9 @@ pkg_dist_minipix_all() { local _vflag=""; - [ "${ARG_VERBOSE:-0}" -ge 3 ] && _vflag="-v"; + if rtl_lmatch "${ARG_VERBOSE_LEVELS}" "install" ","; then + _vflag="-v"; + fi; if rtl_lmatch "${ARG_DIST}" "minipix" "," \ && ! rtl_install_v2 \ -p "_minipix=${PREFIX_MINIPIX##*/}" \ |