commit | f8eadc1d1b0a8d469db377de76063e04008a39d1 | [log] [tgz] |
---|---|---|
author | Jeongik Cha <jeongik@google.com> | Wed Mar 20 16:07:02 2019 +0900 |
committer | Treehugger Robot <treehugger-gerrit@google.com> | Wed Mar 20 10:55:13 2019 +0000 |
tree | d4686b70b3213fe7c8ef73cb8e9f4e0d94e07a92 | |
parent | be31ab48411927552d041d818b69a9834c11b975 [diff] |
Change type of duration in log as double There is need about more precise duration time. So change its type to double. In addition, update comment about log. Test: m -j Test: Check whether duration time in log is printed as double Bug: 127187108 Change-Id: I82c282125f2090e9cb1ed6056d3058649006f38a