From 349640e597477f57ab7d4de30f9d0bbc0e21fbd3 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Mon, 26 May 2025 14:14:20 +0200 Subject: 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. --- 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 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. -- cgit v1.2.3