tree e580df0d6a694a5c6b6c54fbc94feab37db779ec
parent ea2a3d949354c8b054983ba629c81bc5ff7163da
author David Srbecky <dsrbecky@google.com> 1570110506 +0100
committer David Srbecky <dsrbecky@google.com> 1570234072 +0000

JIT mini-debug-info: Add back timestamps.

They are needed by simpleperf.

Bug: 141558390
Test: ./art/test.py -b -r --optimizing --jit --host --64
Change-Id: Ic698910da83656889ecd972b56d4a23061fcf71e