diff options
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/sandbox/NamespaceSandboxRunner.java | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/sandbox/NamespaceSandboxRunner.java b/src/main/java/com/google/devtools/build/lib/sandbox/NamespaceSandboxRunner.java index 74649e615d..e16ac70e1c 100644 --- a/src/main/java/com/google/devtools/build/lib/sandbox/NamespaceSandboxRunner.java +++ b/src/main/java/com/google/devtools/build/lib/sandbox/NamespaceSandboxRunner.java @@ -163,9 +163,7 @@ public class NamespaceSandboxRunner { Path source = sandboxExecRoot.getRelative(output.getExecPathString()); Path target = execRoot.getRelative(output.getExecPathString()); FileSystemUtils.createDirectoryAndParents(target.getParentDirectory()); - if (source.isFile()) { - Files.move(new File(source.getPathString()), new File(target.getPathString())); - } + Files.move(source.getPathFile(), target.getPathFile()); } } |