X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fupdate-debian-changelog;h=9353e70096d808bc9b0389d623aaaaeb271092a3;hb=3f09c339f7e5e3d74bb06600b7f05c8efccbf132;hp=dfb84fc49ab46d63e0d608b8ae37d3c275c4d2bb;hpb=8b75073b0c677f66a1621a67a0df9e6f55309ea9;p=openvswitch

diff --git a/build-aux/update-debian-changelog b/build-aux/update-debian-changelog
index dfb84fc4..9353e700 100755
--- a/build-aux/update-debian-changelog
+++ b/build-aux/update-debian-changelog
@@ -33,5 +33,5 @@ openvswitch ($VERSION) unstable; urgency=low
 EOF
         cat "$CHANGELOG"
     } > "$CHANGELOG".new
-    mv "$CHANGELOG".new "$CHANGELOG"
+    mv -f "$CHANGELOG".new "$CHANGELOG"
 fi