summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2025-04-25 12:03:41 +0200
committerKlaus Aehlig <klaus.aehlig@huawei.com>2025-04-25 13:11:59 +0200
commitca9b1fa2328cfa7f511c30191146147f0726a1a5 (patch)
tree6950a72f8c2c0b10699a05cfa323132266cba184 /share
parent0346772958c3dee8e2c2343fabaf77924ae855ec (diff)
downloadjustbuild-ca9b1fa2328cfa7f511c30191146147f0726a1a5.tar.gz
just-mr: support invocation-specifing artifact dumping
Diffstat (limited to 'share')
-rw-r--r--share/man/just-mrrc.5.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md
index b2c3e2a0..2137a8ff 100644
--- a/share/man/just-mrrc.5.md
+++ b/share/man/just-mrrc.5.md
@@ -189,6 +189,9 @@ The just-mrrc is given by a JSON object.
- *`"--dump-plain-graph"`* A file name specifying the file
in the invocation-log directory for an invocation-specific
`--dump-plain-graph` option.
+ - *`"--dump-artifacts"`* A file name specifying in the file
+ in the invocation-log directory for the invocation-specific
+ `--dump-artifacts` option.
- *`"--profile"`* A file name specifying the file in invocation-log
directory for an invocation-specific `--profile` option.