diff options
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/sandbox/NamespaceSandboxRunner.java | 4 |
1 files changed, 2 insertions, 2 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..1667a03c54 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,8 +163,8 @@ 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())); + if (source.isFile() || source.isSymbolicLink()) { + Files.move(source.getPathFile(), target.getPathFile()); } } } |