diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-06-22 09:32:56 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2023-07-05 13:08:38 +0200 |
| commit | 9014ee19dbab4708527d7c4d846e5f6773c47bef (patch) | |
| tree | e0ebe789263ea20aa68ae5d40c88017dc5d707e6 /share | |
| parent | 600358e826fe991c40f2c11a5074299bcdab4712 (diff) | |
| download | justbuild-9014ee19dbab4708527d7c4d846e5f6773c47bef.tar.gz | |
Add CLI argument to dispatch endpoint
In this way, the user can specify which execution endpoint
to use depending on the execution properties.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just.1.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/share/man/just.1.md b/share/man/just.1.md index 19a748cc..aaa4e4f5 100644 --- a/share/man/just.1.md +++ b/share/man/just.1.md @@ -495,6 +495,20 @@ Supported by: analyse|build|install|rebuild|traverse. Address of the remote execution service. Supported by: analyse|build|install-cas|install|rebuild|traverse. +**`--endpoint-configuration`** FILE +File containing a description on how to dispatch to different +remote-execution endpoints based on the the execution properties. +The format is a JSON list of pairs (lists of length two) of an object +of strings and a string. The first entry describes a condition (the +remote-execution properties have to agree on the domain of this +object), the is remote-exeuction address in the NAME:PORT format as +for the **`-r`** option. The first matching entry (if any) is taken; +in none matches the default execution endpoint is taken (either +as specified by **`-r`**, or local execution if no endpoint is +specified). +Supported by: analyse|build|install-cas|install|rebuild|traverse. + + Authentication options ---------------------- |