diff options
author | 2015-09-04 15:35:24 +0000 | |
---|---|---|
committer | 2015-09-04 16:32:27 +0000 | |
commit | 369635536db085dd70124ace2e4ef604680148b4 (patch) | |
tree | 4e409c8edc81be20c9aa94b5c0e2245bcf0d1976 /src/main | |
parent | e8f8dc599669a3a1c0a41d7bec95f80deb9203f0 (diff) |
sandbox: We have to move all generated outputs, not just regular files.
Fix for a part of bug #397.
--
MOS_MIGRATED_REVID=102343972
Diffstat (limited to 'src/main')
-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()); } } |