diff options
author | Mike Frysinger <vapier@google.com> | 2021-02-26 03:55:44 -0500 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2021-02-26 17:16:29 +0000 |
commit | 8d2a6df1fda2d766d92f554a7ffea499420e4f7a (patch) | |
tree | 7bd10cb765cdb9972dfff430c90f6fdc5f1fcfc0 /git_command.py | |
parent | ceba2ddc1333dbd53b559bde2b79d09d2082f3dc (diff) | |
download | git-repo-8d2a6df1fda2d766d92f554a7ffea499420e4f7a.tar.gz |
progress: include execution time summary
We're already keeping tracking of the start time, so might as
well use it to display overall execution time for steps.
Change-Id: Ib4cf8b2b0dfcdf7b776a84295d59cc569971bdf5
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/298482
Reviewed-by: Michael Mortensen <mmortensen@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'git_command.py')
0 files changed, 0 insertions, 0 deletions