diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-26 14:14:20 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-26 14:21:24 +0200 |
| commit | 349640e597477f57ab7d4de30f9d0bbc0e21fbd3 (patch) | |
| tree | dd8d92f2f3393637dfb170940c63ef5152bfefea /share | |
| parent | 2ada58e9a8c7b95dd7da5bfe8a6f1e16bb7686f5 (diff) | |
| download | justbuild-349640e597477f57ab7d4de30f9d0bbc0e21fbd3.tar.gz | |
profile: include time of build start
When using a serve end point, the analysis phase might take quite
long if serve has to actually build a delegated target or, at
least, has to synchronize artifacts with the remote end point.
Therefore, also record the time the build phase started (if building
is requested) as an additional time stamp in the profile.
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 04c1e273..d3167b89 100644 --- a/share/man/just-profile.5.md +++ b/share/man/just-profile.5.md @@ -91,6 +91,9 @@ The profile file contains the following information. - For the key *`"start time"`* the start time of the invocation in seconds since the epoch. +- For the key *`"build start time"`* the start 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. |