diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-12-22 15:42:18 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-01-08 13:46:13 +0100 |
| commit | 90aec8983f6da3c59d58dae62a057fd08fdcf4d5 (patch) | |
| tree | 0cde020828faab1df68e410fe1a2989feefc5ce1 /src | |
| parent | 264ba60e221231109201da1c6d336c642959a0c2 (diff) | |
| download | justbuild-90aec8983f6da3c59d58dae62a057fd08fdcf4d5.tar.gz | |
repos.json: ignore special in grpc source tree
The source archive of grp contains upwards symlinks (that do not
point outside the source directory). For a normal build this is
not an issue; we still can generate a git tree from this archive
and the parts we use of this archive never even touch a directory
containing an upwards symlink.
However, when just-mr desires to get this root from a just serve
instance, the tree would have to be synced to the remote-execution CAS
and hence the restriction applies that we only consider non-upwards
relative symlinks as first-class citizens.
Therefore, ignore all symlinks in this archive and this way, without
changing the actual build, obtain an easy-to-manage root.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions