diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-05-02 18:17:36 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-05-03 14:25:58 +0000 |
| commit | a6197803d4d2b62b3d4cfecbc729fed31aec999d (patch) | |
| tree | 3a45f46a512bf8d9bec0b77244c69000f1bb1d57 /executor | |
| parent | b76cb94d6f72b2ffd968c34ac7d0ed9d58d36a03 (diff) | |
vendor: vendor flatbuffers headers
Attempt to use distro provided libflatbuffers-dev failed
for at least 2 reason:
1. Older distros (old-env) don't provide fresh enough package,
even Ubuntu 22.04 has only v1.12.0.
2. We cross-compile to NetBSD using the canned toolchain
and it knows nothing about host packages.
This was manually vendored using the commands in README.md.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions