diff options
Diffstat (limited to 'bin/ptxdist')
| -rwxr-xr-x | bin/ptxdist | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 8aeb1a543..65fdf11c6 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -2488,7 +2488,7 @@ setup_parallel() { setup_auto_version() { - local configfile_version next + local configfile_version next saved_ptxconfig local -a args if [ -z "${PTXDIST_AUTOVERSION}" ]; then @@ -2524,9 +2524,11 @@ setup_auto_version() return fi # the bottom layer decides the version + saved_ptxconfig="${PTXDIST_PTXCONFIG}" PTXDIST_PTXCONFIG="${ptxd_reply[${#ptxd_reply[@]}-1]}" _get_config_ptx + PTXDIST_PTXCONFIG="${saved_ptxconfig}" if check_version "${configfile_version}"; then # this is already the correct version return |