diff --git a/benchmark/parse_log.py b/benchmark/parse_log.py index 29ce97312ee85e33862c5ff35045ac5ecb9c73fa..310c7822df555c58493cb5ef1d72d44bb9d434c8 100644 --- a/benchmark/parse_log.py +++ b/benchmark/parse_log.py @@ -41,7 +41,7 @@ def parse(file, parse_times = PARSE_FULL): times[name] = time continue # nothing else we know about, ignore - print("Ignoring line",line) + print("Ignoring line",line,"(in commit {})".format(commit)) # end of file. previous commit, if any, is done now. if commit is not None: yield Result(commit, times)