diff options
| author | Maksim Denisov <denisov.maksim@huawei.com> | 2024-12-20 09:50:01 +0100 |
|---|---|---|
| committer | Maksim Denisov <denisov.maksim@huawei.com> | 2024-12-20 11:36:18 +0100 |
| commit | b34ce22a97defe05f0afda5508df2958dfae734d (patch) | |
| tree | a48c3b55e94e6837374afd6fcee2e0c2a3209497 /share/man/just-mr-repository-config.5.md | |
| parent | b7d4d2a225c667cb8e9eb741f32e79d90ba838c6 (diff) | |
| download | justbuild-b34ce22a97defe05f0afda5508df2958dfae734d.tar.gz | |
just-mr-repository-config(5): Document the format for tree structure roots
Diffstat (limited to 'share/man/just-mr-repository-config.5.md')
| -rw-r--r-- | share/man/just-mr-repository-config.5.md | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index 117975af..1c925e9a 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -190,6 +190,19 @@ The following fields are supported: the export target. This entry is optional and defaults to the empty map. +### *`"tree structure"`* + +It evaluates to the given root but with all files and symlinks +replaced by empty blobs. A tree structure root is given by a +content-fixed workspace of a repository. Tree structure roots +themselves are content fixed; the dependency of tree structure +roots on one another must be cycle free. + +The following fields are supported: + + - *`"repo"`* specifies the repository whose workspace root must + be evaluated. This entry is mandatory. + ### Additional keys The key *`"pragma"`* is reserved for type-specific repository directives |