From 9afa0407ff0c2fc955d217bedcc416ae0bd0054b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 21 Apr 2016 15:26:42 +0200
Subject: [PATCH] benchmark: ignore bad lines (happens due to concurrent
compilation)
---
benchmark/parse_log.py | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/benchmark/parse_log.py b/benchmark/parse_log.py
index 46a9ec82c..86c6ad3ad 100644
--- a/benchmark/parse_log.py
+++ b/benchmark/parse_log.py
@@ -32,8 +32,7 @@ def parse(file, parse_times = True):
time = float(m.group(2))
times[name] = time
continue
- # nothing else we know about
- raise Exception("Unexpected line: {}".format(line))
+ # nothing else we know about, ignore
# end of file. previous commit, if any, is done now.
if commit is not None:
yield Result(commit, times)
--
GitLab