diff options
author | Karl Berry <karl@freefriends.org> | 2017-09-26 00:21:57 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-09-26 00:21:57 +0000 |
commit | 67d524900a5b7016dba0098cc49dbe5ceb6ee840 (patch) | |
tree | 5c478ee382fd0624ad71b7bdab24a1ad825877f0 /Build/source/build-aux | |
parent | a06d1c22b0ddc984cfcccf6efa6971857d0d47aa (diff) |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@45400 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux')
-rwxr-xr-x | Build/source/build-aux/install-sh | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/Build/source/build-aux/install-sh b/Build/source/build-aux/install-sh index 0360b79e7d0..ac159ceda40 100755 --- a/Build/source/build-aux/install-sh +++ b/Build/source/build-aux/install-sh @@ -1,7 +1,7 @@ #!/bin/sh # install - install a program, script, or datafile -scriptversion=2016-01-11.22; # UTC +scriptversion=2017-09-23.17; # UTC # This originates from X11R5 (mit/util/scripts/install.sh), which was # later released in X11R6 (xc/config/util/install.sh) with the @@ -271,15 +271,18 @@ do fi dst=$dst_arg - # If destination is a directory, append the input filename; won't work - # if double slashes aren't ignored. + # If destination is a directory, append the input filename. if test -d "$dst"; then if test "$is_target_a_directory" = never; then echo "$0: $dst_arg: Is a directory" >&2 exit 1 fi dstdir=$dst - dst=$dstdir/`basename "$src"` + dstbase=`basename "$src"` + case $dst in + */) dst=$dst$dstbase;; + *) dst=$dst/$dstbase;; + esac dstdir_status=0 else dstdir=`dirname "$dst"` @@ -288,6 +291,11 @@ do fi fi + case $dstdir in + */) dstdirslash=$dstdir;; + *) dstdirslash=$dstdir/;; + esac + obsolete_mkdir_used=false if test $dstdir_status != 0; then @@ -427,8 +435,8 @@ do else # Make a couple of temp file names in the proper directory. - dsttmp=$dstdir/_inst.$$_ - rmtmp=$dstdir/_rm.$$_ + dsttmp=${dstdirslash}_inst.$$_ + rmtmp=${dstdirslash}_rm.$$_ # Trap to clean up those temp files at exit. trap 'ret=$?; rm -f "$dsttmp" "$rmtmp" && exit $ret' 0 |