diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-01-11 13:03:33 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-01-26 14:51:43 +0100 |
| commit | e3d36d2c7bb91b1f5a043cefca3f4a6a5a5c9540 (patch) | |
| tree | 338884e0f967d82647a82359ad989dd6ce7d9891 /src/other_tools/root_maps/distdir_git_map.cpp | |
| parent | 9942c2762695c57b92ad5e8f83e283a2d68f4d0b (diff) | |
| download | justbuild-e3d36d2c7bb91b1f5a043cefca3f4a6a5a5c9540.tar.gz | |
fpath_git_map: Sync pragma 'to_git' root trees with serve endpoint
Marking a file-type repository as 'to_git' results in a Git-tree
type root, which are of course content fixed and can be (and
usually are) used by export targets. Therefore, it is beneficial
for a serve endpoint, if one is provided, to be aware of such a
root and be able to build against it if needed. If the root is
marked as absent, this condition becomes mandatory.
Generating an absent Git-tree root without being provided a serve
endpoint is still allowed, but results in a warning.
Diffstat (limited to 'src/other_tools/root_maps/distdir_git_map.cpp')
0 files changed, 0 insertions, 0 deletions