about summary refs log tree commit diff
path: root/tools/install.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/install.sh')
-rwxr-xr-xtools/install.sh2
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