1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/worker/Worker.java b/src/main/java/com/google/devtools/build/lib/worker/Worker.java
index 470e49f84b..a86cd1115e 100644
--- a/src/main/java/com/google/devtools/build/lib/worker/Worker.java
+++ b/src/main/java/com/google/devtools/build/lib/worker/Worker.java
@@ -150,4 +150,8 @@ class Worker {
   public void prepareExecution(WorkerKey key) throws IOException {}
 
   public void finishExecution(WorkerKey key) throws IOException {}
+
+  public Path getLogFile() {
+    return logFile;
+  }
 }