| Index: tools/deep_memory_profiler/dmprof.py
|
| diff --git a/tools/deep_memory_profiler/dmprof.py b/tools/deep_memory_profiler/dmprof.py
|
| index 8327f96e5a56d209ef5498ac7d668a953af2b773..af32bfa618f1c25cc336cf55fa6b95b4b1807b0c 100644
|
| --- a/tools/deep_memory_profiler/dmprof.py
|
| +++ b/tools/deep_memory_profiler/dmprof.py
|
| @@ -944,6 +944,8 @@ class Dump(object):
|
| self._time += float(matched_format.group(2)[1:]) / 1000.0
|
| elif matched_seconds:
|
| self._time = float(matched_seconds.group(1))
|
| + elif self._lines[ln].startswith('Reason:'):
|
| + pass # Nothing to do for 'Reason:'
|
| else:
|
| break
|
| ln += 1
|
|
|