diff options
author | 2015-09-08 16:55:02 +0000 | |
---|---|---|
committer | 2015-09-08 17:26:22 +0000 | |
commit | def70167c86c8dbc37d4ac8832e6fa12bdf3baa8 (patch) | |
tree | 00c5f20dfd695a36b0fcf44caf5cf254a05814e7 /src | |
parent | bb896184b737cc2ba9074d26f6ee1c618e7a4b41 (diff) |
sandbox: We have to move all generated outputs, not just regular files.
Fix for a part of bug #397.
--
MOS_MIGRATED_REVID=102564902
Diffstat (limited to 'src')
-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()); } } } |