diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/install.sh b/tools/install.sh index 7dcea333..4e5a8b9f 100755 --- a/tools/install.sh +++ b/tools/install.sh @@ -53,7 +53,7 @@ else cat < "$1" > "$tmp" fi -mv "$tmp" "$2" +mv -f "$tmp" "$2" test -d "$2" && { rm -f "$2/$tmp" printf "%s: %s is a directory\n" "$0" "$dst" 1>&2 |