diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-09-20 10:41:23 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-09-20 10:41:23 +0200 |
| commit | 70aef852705090b48ded2842269daa7884fa54fd (patch) | |
| tree | dc2010dc1223074b2a56bb454f3ea46aa7d1debc /share | |
| parent | 82cf11b5b8d95ad82266275daae9ec3a89a5cfcf (diff) | |
| download | justbuild-70aef852705090b48ded2842269daa7884fa54fd.tar.gz | |
just-mrrc(5): update example
As we have, with "remote execution", a command-independent option to
set the remote-execution endpoint that also gets forwarded, a typical
configuration would specify the endpoint there.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mrrc.5.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md index bb59c8bc..5a7d0b82 100644 --- a/share/man/just-mrrc.5.md +++ b/share/man/just-mrrc.5.md @@ -132,11 +132,11 @@ An example just-mrrc file could look like the following: , "distdirs": [{"root": "home", "path": ".distfiles"}] , "just": {"root": "system", "path": "usr/bin/just"} , "git": {"root": "system", "path": "usr/bin/git"} +, "remote execution": {"address": "10.0.0.1:8980"} , "just args": - { "build": ["-r", "10.0.0.1:8980", "--remote-execution-property", "OS:Linux"] - , "install": ["-r", "10.0.0.1:8980", "--remote-execution-property", "OS:Linux"] - , "rebuild": ["-r", "10.0.0.1:8980", "--remote-execution-property", "OS:Linux"] - , "install-cas": ["-r", "10.0.0.1:8980"] + { "build": ["--remote-execution-property", "OS:Linux"] + , "install": ["--remote-execution-property", "OS:Linux"] + , "rebuild": ["--remote-execution-property", "OS:Linux"] } } ``` |