diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-01-30 16:07:49 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-01-31 10:20:01 +0100 |
| commit | 8a4a900f93a704f18d5489b682508840a8cda179 (patch) | |
| tree | 08dbac7941e596c8ab5a3eae2808fc8c4bee8d25 /share | |
| parent | e2168c51eb9d29542b32aaf7bca24595d0745749 (diff) | |
| download | justbuild-8a4a900f93a704f18d5489b682508840a8cda179.tar.gz | |
just-mrrc: support remote-execution properties
While just-mr does not use remote-execution properties, it is
still useful to have those as a separate entry in the rc file. With
rc-file delegation, this gives committed rc files an easy way to
specify the image to be used without having to set all the remaining
arguments for the various just subcommands in "just args".
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mrrc.5.md | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md index 021e1126..22820078 100644 --- a/share/man/just-mrrc.5.md +++ b/share/man/just-mrrc.5.md @@ -118,6 +118,11 @@ The just-mrrc is given by a JSON object. Each subkey value can be overwritten by its corresponding command-line argument. + - The value for the key *`"remote-execution properties"`*, if + provided, has to be a list of strings. Each entry is forwarded + as `--remote-execution-property` to the invocation of the build + tool, if **`just-mr`** is used as a launcher. + - The value for the key *`"just files"`* is a JSON object. The keys correspond to options that some **`just`** subcommands accept and require a file as argument. For each key, the value is a list of location objects. When @@ -129,7 +134,8 @@ The just-mrrc is given by a JSON object. - The value for the key *`"just args"`* is a JSON object. Its keys are **`just`** subcommands and its value is a JSON list of strings. For the corresponding subcommand, these strings are prefixed to the **`just`** - argument vector, if **`just-mr`** is used as a launcher. + argument vector (after all other options provided through the rc file), + if **`just-mr`** is used as a launcher. - The value for the key *`"rc files"`*, if given, is a list of location objects. For those location objects that refer to |