1 files changed, 15 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/analysis/NoBuildEvent.java b/src/main/java/com/google/devtools/build/lib/analysis/NoBuildEvent.java
index cd0b83f170..61f808997d 100644
--- a/src/main/java/com/google/devtools/build/lib/analysis/NoBuildEvent.java
+++ b/src/main/java/com/google/devtools/build/lib/analysis/NoBuildEvent.java
@@ -28,11 +28,21 @@ public final class NoBuildEvent implements BuildEvent {
   private final String command;
   private final Long startTimeMillis;
   private final boolean separateFinishedEvent;
+  private final boolean keepShowingProgress;
 
-  public NoBuildEvent(String command, Long startTimeMillis, boolean separateFinishedEvent) {
+  public NoBuildEvent(
+      String command,
+      Long startTimeMillis,
+      boolean separateFinishedEvent,
+      boolean keepShowingProgress) {
     this.command = command;
     this.startTimeMillis = startTimeMillis;
     this.separateFinishedEvent = separateFinishedEvent;
+    this.keepShowingProgress = keepShowingProgress;
+  }
+
+  public NoBuildEvent(String command, Long startTimeMillis, boolean separateFinishedEvent) {
+    this(command, startTimeMillis, separateFinishedEvent, false);
   }
 
   public NoBuildEvent() {
@@ -70,4 +80,8 @@ public final class NoBuildEvent implements BuildEvent {
   public boolean separateFinishedEvent() {
     return separateFinishedEvent;
   }
+
+  public boolean keepShowingProgress() {
+    return keepShowingProgress;
+  }
 }