From 860c684582eaac0c94d6004dd9afeaccc43bc4ff Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Thu, 27 Feb 2025 12:55:31 +0100 Subject: just-mr: support --profile in invocation logging Support passing on an invocation-specific --profile option when launching just. This allows routine profiling of builds. --- share/man/just-mrrc.5.md | 3 +++ 1 file changed, 3 insertions(+) (limited to 'share') 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"} -- cgit v1.2.3