From 9ff01a766d98359c7dcf199aa6c4fba7fb427140 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Wed, 7 May 2025 10:22:39 +0200 Subject: profile: include remote-execution properties Include in the profile also the effective remote-execution endpoint, properties, and dispatch list. Software projects are often tested in a variety of environments or hardware configurations; as, obviously, the performance might differ significantly (especially depending on the used hardware) a proper analysis therefore requires the possibility to distinguish the various backends. Adding the effective configuration adds this posibility. --- share/man/just-profile.5.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'share/man/just-profile.5.md') diff --git a/share/man/just-profile.5.md b/share/man/just-profile.5.md index 991472cb..b8efb16c 100644 --- a/share/man/just-profile.5.md +++ b/share/man/just-profile.5.md @@ -45,6 +45,19 @@ The profile file contains the following information. - For the key *`"configuration"`* the build configuration in which the target was analysed/built/installed. +- For the key *`"remote"`* an object describing the remote-execution + configuration. The following keys are used. + + - If a remote-execution endpoint is used, for the key *`"address"`*, + a string of the form `address:port` is given. + + - For the key *`"properties"`* the remote-execution properties are + specified (naturally as an object). + + - For the key *`"dispatch"`* the dispatch list is given as an array + of pairs (arrays of length two) of a property map and an enpoint + as `address:port` string. + - For the key *`"exit code"`* the exit code of the **`just`**(1) process. - For the key *`"analysis errors"`*, if present, a list of error messages -- cgit v1.2.3