diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-03-07 12:51:15 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-03-07 13:05:07 +0100 |
| commit | b6c8e0192cf9a05d502e24727cfdb69afe2b314d (patch) | |
| tree | f4704d116c88a3c9478c4afcc6887d1974823b3d /src/other_tools/ops_maps/git_update_map.cpp | |
| parent | b958c67a9270063ada8d6800e022e3489ff3d205 (diff) | |
| download | justbuild-b6c8e0192cf9a05d502e24727cfdb69afe2b314d.tar.gz | |
distdir setup: do not ask remote-excution endpoint for tree
Asking the remote-exeuction endpoint for the tree means, that,
upon success, we fetch every archive from the remote execution
endpoint, even those that we could get from a provided distdir. As
our preference is to only use the network if necessary, simply use
the standard way of creating a distdir: create it locally and for
each file, try to get it from local resources first, then from the
remote-execution endpoint, and finally from other network resources.
Diffstat (limited to 'src/other_tools/ops_maps/git_update_map.cpp')
0 files changed, 0 insertions, 0 deletions