diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-09-09 13:51:46 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-09-09 13:51:46 +0000 |
| commit | a9a19152387cd53fd7b52c46fac8cd760e5e094d (patch) | |
| tree | 50029d51062e49922662dd24c4f2fd28d7a92959 /install-sh | |
| parent | [w3m-dev 03298] [ -f instead of [ -e (configure) (diff) | |
| download | w3m-a9a19152387cd53fd7b52c46fac8cd760e5e094d.tar.gz w3m-a9a19152387cd53fd7b52c46fac8cd760e5e094d.zip | |
[w3m-dev 03299] remove file before copying (install-sh)
* install-sh: remove file before copying
From: Hironori SAKAMOTO <h-saka@lsi.nec.co.jp>
Diffstat (limited to '')
| -rwxr-xr-x | install-sh | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,5 +1,5 @@ #! /bin/sh -# $Id: install-sh,v 1.3 2001/12/17 15:42:44 ukai Exp $ +# $Id: install-sh,v 1.4 2002/09/09 13:51:46 ukai Exp $ set -e @@ -38,6 +38,9 @@ else dest=$2 fi +if [ -f $dest ]; then + rm -f $dest +fi cp $file $dest if [ -n "$strip" ]; then $strip $dest |