diff options
Diffstat (limited to 'scripts/lib')
| -rw-r--r-- | scripts/lib/ptxd_make_world_common.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/lib/ptxd_make_world_common.sh b/scripts/lib/ptxd_make_world_common.sh index 601d26a49..0cc294915 100644 --- a/scripts/lib/ptxd_make_world_common.sh +++ b/scripts/lib/ptxd_make_world_common.sh @@ -347,7 +347,12 @@ ptxd_make_world_init() { unset conf_opt_ptr ;; - *) ;; + *) + local conf_env_ptr="ptx_conf_env_${pkg_type}" + pkg_conf_env="PTXDIST_ICECC= ${pkg_conf_env:-${!conf_env_ptr}}" + + unset conf_env_ptr + ;; esac local -a deps_host deps_target local whitelist_host whitelist_target |