diff --git a/benchmark/parse_log.py b/benchmark/parse_log.py index 46a9ec82c3e31f7aa774f00c401c044561f159aa..86c6ad3adee9686ffdc43135e96180c6c39bcb70 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)