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 | |
| 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.
| -rw-r--r-- | etc/repos.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/repos.json b/etc/repos.json index dd196fd2..5e18fe9d 100644 --- a/etc/repos.json +++ b/etc/repos.json @@ -387,6 +387,7 @@ , "sha256": "931f07db9d48cff6a6007c1033ba6d691fe655bea2765444bc1ad974dfc840aa" , "sha512": "bb4be3b8a128566581b7ea69d1faa6d08a28624656c2f4afdd8bb8fa804e362b7d8f2bb6c52789081b48f299ddffe18e1795c8dce9b9bc304a5e6d3a4274b11e" , "subdir": "grpc-1.56.2" + , "pragma": {"special": "ignore"} } , "target_root": "import targets" , "target_file_name": "TARGETS.grpc" |