1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/events/ErrorSensingEventHandler.java b/src/main/java/com/google/devtools/build/lib/events/ErrorSensingEventHandler.java
index 3286efad0a..4057765073 100644
--- a/src/main/java/com/google/devtools/build/lib/events/ErrorSensingEventHandler.java
+++ b/src/main/java/com/google/devtools/build/lib/events/ErrorSensingEventHandler.java
@@ -28,7 +28,9 @@ public final class ErrorSensingEventHandler extends DelegatingEventHandler {
 
   @Override
   public void handle(Event e) {
-    hasErrors |= e.getKind() == EventKind.ERROR;
+    if (e.getKind() == EventKind.ERROR) {
+      hasErrors = true;
+    }
     super.handle(e);
   }