diff options
| author | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-22 12:31:35 +0200 |
|---|---|---|
| committer | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-22 14:20:47 +0200 |
| commit | e8501865cf7bff5cf7d505b595ccd66ddbd625f7 (patch) | |
| tree | cfd792c8a8493ce30eb1aecee853a50e2ce53def /share | |
| parent | a6a76cc15a2c46a0741f88d3b794c407b314052a (diff) | |
| download | justbuild-e8501865cf7bff5cf7d505b595ccd66ddbd625f7.tar.gz | |
profile: add start/stop time
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-profile.5.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/man/just-profile.5.md b/share/man/just-profile.5.md index 54f1a10c..04c1e273 100644 --- a/share/man/just-profile.5.md +++ b/share/man/just-profile.5.md @@ -88,6 +88,11 @@ The profile file contains the following information. respectively, as hex-encoded strings, provided the respective output is non-empty. +- For the key *`"start time"`* the start time of the invocation in + seconds since the epoch. + +- For the key *`"stop time"`* the stop time of the invocation in seconds + since the epoch. See also ======== |