diff options
Diffstat (limited to 'subr/build_init.subr')
| -rw-r--r-- | subr/build_init.subr | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subr/build_init.subr b/subr/build_init.subr index 335a80f9..71e57e44 100644 --- a/subr/build_init.subr +++ b/subr/build_init.subr @@ -47,6 +47,10 @@ buildp_init_args() { fi; fi; if [ "${_rc:-0}" -eq 0 ]; then + if rtl_lmatch "${ARG_DIST}" "zipdist" ","\ + && ! rtl_lmatch "${ARG_DIST}" "minipix" ","; then + ARG_DIST="$(rtl_lconcat "${ARG_DIST}" "minipix" ",")"; + fi; if [ "${ARG_DIST:+1}" = 1 ]; then BUILD_GROUPS="$(rtl_lconcat "$(rtl_lfilter "${BUILD_GROUPS}" "dist")" "dist")"; fi; |