From 46c4b1345f892b76b6c5e5af2ba5b6f8beba4c21 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 7 Apr 2019 10:51:21 +0200
Subject: [PATCH] preserve non-JSON lines during normalization

---
 src/json.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/json.rs b/src/json.rs
index 3e5e98f..6f9e2ff 100644
--- a/src/json.rs
+++ b/src/json.rs
@@ -88,7 +88,8 @@ pub fn extract_rendered(output: &str, proc_res: &ProcRes) -> String {
                     }
                 }
             } else {
-                None
+                // preserve non-JSON lines, such as ICEs
+                Some(format!("{}\n", line))
             }
         })
         .collect()