diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-16 12:27:23 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-16 12:36:26 +0200 |
| commit | aa9007a411dbbcf423613d3cc5beb10658c05356 (patch) | |
| tree | e4ace64d24983edbb83f41851a756116afef055d | |
| parent | 0574233eee954e1869db0d476ff7106ee72b12b5 (diff) | |
| download | justbuild-aa9007a411dbbcf423613d3cc5beb10658c05356.tar.gz | |
just.1 man: fix typos
| -rw-r--r-- | share/man/just.1.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/share/man/just.1.md b/share/man/just.1.md index 125df37e..529a9df5 100644 --- a/share/man/just.1.md +++ b/share/man/just.1.md @@ -506,9 +506,9 @@ 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-execution 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 +object), the second entry is a remote-execution address in the NAME:PORT +format as for the **`-r`** option. The first matching entry (if any) is taken; +if 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. |