diff options
author | 2018-07-04 15:49:44 +0200 | |
---|---|---|
committer | 2018-07-04 17:57:31 +0200 | |
commit | 3033d31d7776f3d54dc0dd38d963c79fd3e0e9b2 (patch) | |
tree | c81c7f4c75c3513164b5a06c6ef3818f13dbcedb /.gitreview | |
parent | 3dee549d6f0862125fb3b9b0fed55fa6e53cc1d6 (diff) |
make build: improve timestamps on output
for each output line, display:
* time from the beginning of the build
* time elapsed since previous line
Change-Id: I9ccd67f30c65576e1fa5456ec999236fb61dabc5
Signed-off-by: Stephane Desneux <stephane.desneux@iot.bzh>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions