diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-01-10 15:35:41 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-01-10 17:13:08 +0100 |
| commit | b633eff69df5cec368c4fc5d24674829f8a0b0c0 (patch) | |
| tree | d644c84dfc0e1d2f34ef5f7583e1892eeb911359 /share | |
| parent | a8b50ad395b72c6933c164d064d86d60cd6b594c (diff) | |
| download | justbuild-b633eff69df5cec368c4fc5d24674829f8a0b0c0.tar.gz | |
just-mr-repository-config(5): pragma special not for derived roots
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr-repository-config.5.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index a641c37f..b9d5c5cd 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -217,7 +217,8 @@ part of a Git repository, its Git tree identifier is used; otherwise, the workspace root will be realized as a Git tree in the Git repository in **`just`**'s local build root. -For all workspace roots except *`"distdir"`* the pragma key *`"special"`* is +For all workspace roots except *`"distdir"`*, *`"computed"`*, +and *`"tree structure"`*, the pragma key *`"special"`* is supported. If its value is *`"ignore"`* then it indicates that the workspace root should ignore all special (i.e., neither file, executable, nor tree) entries. For a *`"file"`* workspace root or for an *`"archive"`* workspace root |