From ab0599fcbdf25508e0a068edaee7a29aac14af8f Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Tue, 27 May 2025 12:20:29 +0200 Subject: 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. --- share/man/just-profile.5.md | 3 +++ 1 file changed, 3 insertions(+) (limited to 'share') 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. -- cgit v1.2.3