diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-03-28 17:45:48 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-04-02 14:31:01 +0200 |
| commit | 4a00afd4529c826a60f6bc1d854e993bf5a3c898 (patch) | |
| tree | 715ea3b733376ba96570ba1df9a7ed2bb9095fe1 /share | |
| parent | 568da4f568f4efb48c2f35e5003df9aeeafe7f07 (diff) | |
| download | justbuild-4a00afd4529c826a60f6bc1d854e993bf5a3c898.tar.gz | |
just-mrrc(5): update example
With "remote-execution properties" a primary property, there is no need
anymore to repeat the property as part of the "just args".
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mrrc.5.md | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md index 22820078..39fbd435 100644 --- a/share/man/just-mrrc.5.md +++ b/share/man/just-mrrc.5.md @@ -177,10 +177,11 @@ An example just-mrrc file could look like the following: , "just": {"root": "system", "path": "usr/bin/just"} , "git": {"root": "system", "path": "usr/bin/git"} , "remote execution": {"address": "10.0.0.1:8980"} +, "remote-execution properties": ["image:development-v1.2.3"] , "just args": - { "build": ["--remote-execution-property", "OS:Linux"] - , "install": ["--remote-execution-property", "OS:Linux"] - , "rebuild": ["--remote-execution-property", "OS:Linux"] + { "build": ["-J", "64"] + , "install": ["-J", "64", "--remember"] + , "install-cas": ["--remember"] } , "just files": { "config": |