diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-01-23 11:23:36 +0100 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-01-26 14:51:43 +0100 |
commit | c39da6b3c87aa15991a52d2c91b730984c6ff071 (patch) | |
tree | 4d205b53cd4e8b832ef0440bf7fca7bc167e5c79 /src/other_tools/root_maps/distdir_git_map.hpp | |
parent | d9bb33cfbba7157aa15dbe40bef8efce3ddfc4d0 (diff) | |
download | justbuild-c39da6b3c87aa15991a52d2c91b730984c6ff071.tar.gz |
just-mr 'archive' repository: Absent roots sync with serve endpoint
To take advantage of absent roots, we need to ensure that a given
serve endpoint can build against the tree of this generated root.
To this end, for an 'archive' repository we only set the root as
absent if the serve endpoint knows already the root, it can set it
up itself, or we can create the root locally without a network
fetch and then upload it to the serve endpoint via the remote CAS.
A network fetch never gets performed for an absent root.
If a serve endpoint is not provided, an absent root can still be
generated, but only if no network fetches are required. In this
case a warning is emitted.
Diffstat (limited to 'src/other_tools/root_maps/distdir_git_map.hpp')
0 files changed, 0 insertions, 0 deletions