diff options
-rwxr-xr-x | bin/ptxdist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 80bce358b..f60767ae6 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1699,6 +1699,9 @@ do_migrate() for part in ptx platform; do do_config oldconfig "${part}" || return done + if [ -e "${PTXDIST_COLLECTIONCONFIG}" ]; then + do_config oldconfig collection + fi } |