diff options
| -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. |