summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2025-02-25 16:54:03 +0100
committerKlaus Aehlig <klaus.aehlig@huawei.com>2025-03-10 16:28:59 +0100
commit16fc9bf6c065f8a6adeaf55e4b418edfb9de1f38 (patch)
treebe9ac34fa70a3d7f46889646fcbf85e39d9c4719 /share
parent01c2c8c0a48f6e1c9dc3882220fd68e72f8204a6 (diff)
downloadjustbuild-16fc9bf6c065f8a6adeaf55e4b418edfb9de1f38.tar.gz
Support graph options in invocation logging
Diffstat (limited to 'share')
-rw-r--r--share/man/just-mrrc.5.md7
1 files changed, 7 insertions, 0 deletions
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md
index d63bc4ec..d25eb936 100644
--- a/share/man/just-mrrc.5.md
+++ b/share/man/just-mrrc.5.md
@@ -181,6 +181,12 @@ The just-mrrc is given by a JSON object.
directory the metadata file should be stored. If not given,
no metadata file will be written. See **`just-profile`**(5) for
details of the format.
+ - *`"--dump-graph"`* A file name specifying the file in
+ the invocation-log directory for an invocation-specific
+ `--dump-graph` option.
+ - *`"--dump-plain-graph"`* A file name specifying the file
+ in the invocation-log directory for an invocation-specific
+ `--dump-plain-graph` option.
EXAMPLE
@@ -202,6 +208,7 @@ An example just-mrrc file could look like the following:
, "invocation log":
{ "directory": {"root": "system", "path": "var/opt/just-invocation"}
, "metadata": "metadata.json"
+ , "--dump-graph": "graph.json"
}
, "absent":
[ {"root": "workspace", "path": "etc/absent.json"}