diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just.1.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/man/just.1.md b/share/man/just.1.md index 504386ce..f4d613bf 100644 --- a/share/man/just.1.md +++ b/share/man/just.1.md @@ -712,6 +712,11 @@ by a JSON object with their intensional description. Therefore, the dumped JSON is not uniquely readable, but requires an out-of-band understanding where artifacts are to be expected. +**`--dump-result`** *`PATH`* +Dump the result of the analysis for the requested target to +file. *`-`* is treated as stdout. The output is a JSON object with the +keys *`"artifacts"`*, *`"provides"`*, and *`"runfiles"`*. + **`rebuild`** specific options ------------------------------ |