sandbox: We have to move all generated outputs, not just regular files.

Fix for a part of bug #397. -- MOS_MIGRATED_REVID=102564902
bazelbuild · Sep 8, 2015 · def7016 · def7016
1 parent bb89618
commit def7016
Showing 1 changed file with 2 additions and 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
@@ -163,8 +163,8 @@ private void copyOutputs(Collection<? extends ActionInput> outputs) throws IOExc
       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());
       }
     }
   }