diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-04-25 09:18:46 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-04-25 11:47:15 +0200 |
| commit | 10caf1e1fba66899ddf9b4d047cd21e04e21142e (patch) | |
| tree | b4090fee9654065797d603d800c7a48dc541bfbc /share | |
| parent | 15f3c80f2a22b136e11f0118f4886a8668469c1f (diff) | |
| download | justbuild-10caf1e1fba66899ddf9b4d047cd21e04e21142e.tar.gz | |
just-mr: support custom message with invocation-directory name
Allow to specify a custom string that is extended by the basename
of the logging directory, in case invocation logging is activated.
This can be used, e.g., to point to the user to service doing
something useful with the logged data (or simply presenting it in
a nicer form).
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mrrc.5.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md index c0227b13..b2c3e2a0 100644 --- a/share/man/just-mrrc.5.md +++ b/share/man/just-mrrc.5.md @@ -177,6 +177,8 @@ The just-mrrc is given by a JSON object. directory will be created. The *`"project id"`* is given as a separate subkey, in order to allow workspace-specific rc files that are merged in to set this value. + - *`"invocation message"`* An additional info message to be shown, + followed by the base name of the invocation logggin directory. - *`"metadata"`* A file name specifying where in the invocation-log directory the metadata file should be stored. If not given, no metadata file will be written. See **`just-profile`**(5) for |