diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-23 16:33:40 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-24 10:00:23 +0100 |
| commit | 6ac5a7d2e8f6d61b55c4fbea58d76aad3d480180 (patch) | |
| tree | a1863356b1bea11cab9d9fc7a32126d2753cc92b /share | |
| parent | 480ba40a427f3c260fc5b99677b38d7003f0e888 (diff) | |
| download | justbuild-6ac5a7d2e8f6d61b55c4fbea58d76aad3d480180.tar.gz | |
just install-cas: document the --raw-tree option in the man page
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just.1.org | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/man/just.1.org b/share/man/just.1.org index a6839de8..fe46bb12 100644 --- a/share/man/just.1.org +++ b/share/man/just.1.org @@ -424,6 +424,11 @@ the original remote build execution protocol. more details.\\ Supported by: install-cas + *--raw-tree*\\ + When installing a tree to stdout, i.e., when no option *-o* is given, + dump the raw tree rather than a pretty-printed version. + Supported by: install-cas + ** Parallelism options *-J*, *--build-jobs* NUM\\ |