diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-02-25 16:54:03 +0100 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-03-10 16:28:59 +0100 |
commit | 16fc9bf6c065f8a6adeaf55e4b418edfb9de1f38 (patch) | |
tree | be9ac34fa70a3d7f46889646fcbf85e39d9c4719 /share | |
parent | 01c2c8c0a48f6e1c9dc3882220fd68e72f8204a6 (diff) | |
download | justbuild-16fc9bf6c065f8a6adeaf55e4b418edfb9de1f38.tar.gz |
Support graph options in invocation logging
Diffstat (limited to 'share')
-rw-r--r-- | share/man/just-mrrc.5.md | 7 |
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"} |