configure: chmod the right artifact and cp / mv with -f to overwrite.

diff --git a/configure b/configure
index 16af7010377c854b2f8c94c2cd193e1e7486af87..077723890acd8147f199eb2df948e1baee65b215 100755 (executable)
--- a/configure
+++ b/configure
@@ -47,8 +47,8 @@ copy_if_changed() {
         msg "leaving $2 unchanged"
     else
         msg "cp $1 $2"
-        cp $1 $2
-        chmod u-w $1 # make copied artifact read-only
+        cp -f $1 $2
+        chmod u-w $2 # make copied artifact read-only
     fi
 }
 
@@ -58,8 +58,8 @@ move_if_changed() {
         msg "leaving $2 unchanged"
     else
         msg "mv $1 $2"
-        mv $1 $2
-        chmod u-w $1 # make moved artifact read-only
+        mv -f $1 $2
+        chmod u-w $2 # make moved artifact read-only
     fi
 }