diff options
Diffstat (limited to 'share/man/just.1.org')
| -rw-r--r-- | share/man/just.1.org | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/share/man/just.1.org b/share/man/just.1.org index c3b9f823..98db94e4 100644 --- a/share/man/just.1.org +++ b/share/man/just.1.org @@ -389,16 +389,20 @@ well-defined graph file. See *just-graph-file(5)* for more details. ** Remote execution options + As remote execution properties shard the target-level cache, they are also + available for analysis. In this way, the same action identifiers can be + achieved despite the extensional projection inherent to target level caching, + e.g., in conjunction with *--request-action-input*. *--remote-execution-property* KEY:VAL\\ Property for remote execution as key-value pair. Specifying this option multiple times will accumulate pairs. If multiple pairs with the same key are given, the latest wins.\\ - Supported by: build|install|rebuild|traverse. + Supported by: analysis|build|install|rebuild|traverse. *-r*, *--remote-execution-address* NAME:PORT\\ Address of the remote execution service.\\ - Supported by: build|install-cas|install|rebuild|traverse. + Supported by: analysis|build|install-cas|install|rebuild|traverse. ** *analyse* specific options |