diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-12 19:18:20 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-12 19:18:20 +0000 |
commit | 3849b77c25aea056b6ef27ad212b07b7777216a7 (patch) | |
tree | f7e5699bf7cf09cdc9453f1665551d71d90351bf /release | |
parent | d4460348d26292aad061a05d4c37307ae557e54f (diff) |
(makelocalhardlink): Only do cleverness if TO already exists. If it's
not there, just make the link.
Diffstat (limited to 'release')
-rwxr-xr-x | release/install-stripped | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/release/install-stripped b/release/install-stripped index f972fc54..bd841b37 100755 --- a/release/install-stripped +++ b/release/install-stripped @@ -94,9 +94,14 @@ copy() makelocalhardlink () { - fromino=`ls -dli "$from" | awk '{ print $1 }'` - toino=`ls -dli "$to" | awk '{print $1 }'` - if test $fromino != $toino; then + if test -e $to; then + fromino=`ls -dli "$from" | awk '{ print $1 }'` + toino=`ls -dli "$to" | awk '{print $1 }'` + if test $fromino != $toino; then + echo "$to linked to $old_inode" + ln -f $old_inode $to + fi + else echo "$to linked to $old_inode" ln -f $old_inode $to fi |