summaryrefslogtreecommitdiff
path: root/release
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-07-12 19:18:20 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-07-12 19:18:20 +0000
commit3849b77c25aea056b6ef27ad212b07b7777216a7 (patch)
treef7e5699bf7cf09cdc9453f1665551d71d90351bf /release
parentd4460348d26292aad061a05d4c37307ae557e54f (diff)
(makelocalhardlink): Only do cleverness if TO already exists. If it's
not there, just make the link.
Diffstat (limited to 'release')
-rwxr-xr-xrelease/install-stripped11
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