diff options
Diffstat (limited to 'bin/ptxdist')
| -rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 82bb90474..2e6ec93a8 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -2451,6 +2451,7 @@ setup_auto_version() ;; /*) # use ptxdist from the explicit PTXdist layer + ptxdist_trap_exit_handler exec "${PTXDIST_AUTOVERSION}" "${args[@]}" ;; esac @@ -2467,6 +2468,7 @@ setup_auto_version() fi if next="$(which ptxdist-${configfile_version})"; then + ptxdist_trap_exit_handler exec "${next}" "${args[@]}" else ptxd_bailout "ptxdist-${configfile_version} not found!" |