diff options
| author |  philwo <philwo@google.com> | 2017-08-17 15:33:15 +0200 |
|---|---|---|
| committer |  Irina Iancu <elenairina@google.com> | 2017-08-18 09:00:41 +0200 |
| commit | 6b9d6827e72fad4058837528e726a41443f0da51 (patch) | |
| tree | bd756b2ab23f2d49e536e5f311a3582c79cb8de1 /src/main/java/com/google/devtools/build/lib/worker/WorkerSpawnRunner.java | |
| parent | 4c1fe6ccf4b9c6807ba136cc1390be63e63405a6 (diff) | |
Add the workspace name to the sandbox path for sandboxed workers.
PiperOrigin-RevId: 165571541
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/worker/WorkerSpawnRunner.java')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/worker/WorkerSpawnRunner.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/worker/WorkerSpawnRunner.java b/src/main/java/com/google/devtools/build/lib/worker/WorkerSpawnRunner.java index 9bcc6e3d0a..c69193c00f 100644 --- a/src/main/java/com/google/devtools/build/lib/worker/WorkerSpawnRunner.java +++ b/src/main/java/com/google/devtools/build/lib/worker/WorkerSpawnRunner.java @@ -95,7 +95,7 @@ final class WorkerSpawnRunner implements SpawnRunner { if (!spawn.getExecutionInfo().containsKey(ExecutionRequirements.SUPPORTS_WORKERS) || !spawn.getExecutionInfo().get(ExecutionRequirements.SUPPORTS_WORKERS).equals("1")) { // TODO(ulfjack): Don't circumvent SpawnExecutionPolicy. Either drop the warning here, or - // provide a mechanism in SpawnExectionPolicy to report warnings. + // provide a mechanism in SpawnExecutionPolicy to report warnings. reporter.handle( Event.warn( String.format(ERROR_MESSAGE_PREFIX + REASON_NO_EXECUTION_INFO, spawn.getMnemonic()))); |