diff options
| author | Michel Dänzer <[email protected]> | 2006-12-11 17:45:06 +0100 |
|---|---|---|
| committer | Zou Nan hai <[email protected]> | 2006-12-13 13:26:09 -0800 |
| commit | c9795c6ca253b25b2b15967b064f32d9b822a1c8 (patch) | |
| tree | 1462e5f3ba674b36cbbbabd51ea00e13e77682ee | |
| parent | bce82efe1fc57f88dc050f5c13508b2e442b7a0d (diff) | |
minstall: Pass correct destination file path to $RM regardless of source path.
(cherry picked from 26626c0052cd5442f609659aa9ed25ac78e65b55 commit)
| -rwxr-xr-x | bin/minstall | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/minstall b/bin/minstall index 210c2758d37..819b2bc7e4a 100755 --- a/bin/minstall +++ b/bin/minstall @@ -65,7 +65,7 @@ if [ $# -ge 2 ] ; then elif [ -f "$FILE" ] ; then #echo "$FILE" is a regular file - $RM "$DEST/$FILE" + $RM "$DEST/`basename $FILE`" cp "$FILE" "$DEST" if [ $MODE ] ; then FILE=`basename "$FILE"` |