diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-02-27 12:55:31 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-03-10 16:28:59 +0100 |
| commit | 860c684582eaac0c94d6004dd9afeaccc43bc4ff (patch) | |
| tree | dc03ce312532f4865ab46302afdd8f9497870758 /share | |
| parent | be1e3354a3479a6ad4d265122fe4fa20bcbf9787 (diff) | |
| download | justbuild-860c684582eaac0c94d6004dd9afeaccc43bc4ff.tar.gz | |
just-mr: support --profile in invocation logging
Support passing on an invocation-specific --profile option
when launching just. This allows routine profiling of builds.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mrrc.5.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md index d25eb936..c0227b13 100644 --- a/share/man/just-mrrc.5.md +++ b/share/man/just-mrrc.5.md @@ -187,6 +187,8 @@ 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. + - *`"--profile"`* A file name specifying the file in invocation-log + directory for an invocation-specific `--profile` option. EXAMPLE @@ -209,6 +211,7 @@ An example just-mrrc file could look like the following: { "directory": {"root": "system", "path": "var/opt/just-invocation"} , "metadata": "metadata.json" , "--dump-graph": "graph.json" + , "--profile": "profile.json" } , "absent": [ {"root": "workspace", "path": "etc/absent.json"} |