diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-27 12:20:29 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-28 12:37:39 +0200 |
| commit | ab0599fcbdf25508e0a068edaee7a29aac14af8f (patch) | |
| tree | 48f926767ebdbdd7a022ecc72d21357bcc4c7063 /share | |
| parent | 9ea3dbd7a3f80a5813dceb11dea416dc7a01d039 (diff) | |
| download | justbuild-ab0599fcbdf25508e0a068edaee7a29aac14af8f.tar.gz | |
profile: include also the end time of the build
... which might be quite ahead of the end time of the invocation if
writing out of the action graph delays the end of the invocation.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-profile.5.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/share/man/just-profile.5.md b/share/man/just-profile.5.md index d3167b89..27dded3e 100644 --- a/share/man/just-profile.5.md +++ b/share/man/just-profile.5.md @@ -94,6 +94,9 @@ The profile file contains the following information. - For the key *`"build start time"`* the start time of the build phase (if any) in seconds since the epoch. +- For the key *`"build stop time"`* the stop time of the build phase (if + any) in seconds since the epoch. + - For the key *`"stop time"`* the stop time of the invocation in seconds since the epoch. |