diff options
-rw-r--r-- | scripts/libptxdist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/libptxdist.sh b/scripts/libptxdist.sh index 67e1bb023..0686aea6d 100644 --- a/scripts/libptxdist.sh +++ b/scripts/libptxdist.sh @@ -559,7 +559,7 @@ ptxd_in_path() { local -a paths paths=( ${!1} ) IFS="${orig_IFS}" - paths=( "${paths[@]/%//${2}}" ) + paths=( "${paths[@]/%/${2:+/}${2}}" ) ptxd_get_path "${paths[@]}" } export -f ptxd_in_path |