diff options
-rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index d0d381481..fd3258a49 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1359,6 +1359,7 @@ setup_layers() if [ "${PTX_ptxconfig_SET}" = "false" ]; then local -a cfgs=( "selected_ptxconfig" "configs/ptxconfig" ) + PTXDIST_PTXCONFIG="${PTXDIST_LAYERS[0]}/${cfgs[0]}" for layer in "${PTXDIST_LAYERS[@]}"; do local -a ptxd_reply ptxd_get_path "${cfgs[@]/#/${layer}/}" || continue @@ -1369,6 +1370,7 @@ setup_layers() if [ "${PTX_platformconfig_SET}" = "false" ]; then local -a cfgs=( "selected_platformconfig" "configs/*/platformconfig" ) + PTXDIST_PLATFORMCONFIG="${PTXDIST_LAYERS[0]}/${cfgs[0]}" for layer in "${PTXDIST_LAYERS[@]}"; do local tmp=( ${cfgs[@]/#/${layer}/} ) if [ "${#tmp[@]}" -gt 2 ]; then |