Fix renameTo function on Windows

Fixes #9995 RELNOTES: None PiperOrigin-RevId: 274772226
bazelbuild · Oct 15, 2019 · 3a43b09 · 3a43b09
1 parent 8d0ae20
commit 3a43b09
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/main/java/com/google/devtools/build/lib/windows/WindowsFileSystem.java b/src/main/java/com/google/devtools/build/lib/windows/WindowsFileSystem.java
@@ -65,6 +65,13 @@ public boolean delete(Path path) throws IOException {
     }
   }
 
+  @Override
+  public void renameTo(Path sourcePath, Path targetPath) throws IOException {
+    // Make sure the target path doesn't exist to avoid permission denied error on Windows.
+    targetPath.delete();
+    super.renameTo(sourcePath, targetPath);
+  }
+
   @Override
   protected void createSymbolicLink(Path linkPath, PathFragment targetFragment) throws IOException {
     Path targetPath =