From def70167c86c8dbc37d4ac8832e6fa12bdf3baa8 Mon Sep 17 00:00:00 2001
From: Philipp Wollermann <philwo@google.com>
Date: Tue, 8 Sep 2015 16:55:02 +0000
Subject: sandbox: We have to move all generated outputs, not just regular
 files.

Fix for a part of bug #397.

--
MOS_MIGRATED_REVID=102564902
---
 .../com/google/devtools/build/lib/sandbox/NamespaceSandboxRunner.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/main/java/com/google/devtools/build/lib/sandbox/NamespaceSandboxRunner.java')

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());
       }
     }
   }
-- 
cgit v1.2.3