diff options
Diffstat (limited to 'subr/build_init.subr')
| -rw-r--r-- | subr/build_init.subr | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/subr/build_init.subr b/subr/build_init.subr index 213bf7d6..aebe3b0e 100644 --- a/subr/build_init.subr +++ b/subr/build_init.subr @@ -231,7 +231,9 @@ buildp_init_vars() { if [ -z "${BUILD_GROUPS}" ]; then BUILD_GROUPS="${_default_build_groups}"; fi; - BUILD_GROUPS="$(rtl_lconcat "$(rtl_lfilter "${BUILD_GROUPS}" "invariants")" "invariants")"; + if [ -n "${ARG_DIST}" ]; then + BUILD_GROUPS="$(rtl_lconcat "$(rtl_lfilter "${BUILD_GROUPS}" "dist")" "dist")"; + fi; for _group in ${BUILD_GROUPS}; do if ! rtl_lmatch "${_groups}" "${_group}"; then _rc=1; _status="Error: unknown build group \`${_group}'."; break; |