diff options
Diffstat (limited to 'executor/_include/flatbuffers/README.md')
| -rw-r--r-- | executor/_include/flatbuffers/README.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/executor/_include/flatbuffers/README.md b/executor/_include/flatbuffers/README.md new file mode 100644 index 000000000..3f687c0fe --- /dev/null +++ b/executor/_include/flatbuffers/README.md @@ -0,0 +1,7 @@ +This was manually vendored on the version v2.0.8 +(which matches the compiler version in the env container) +using the following commands: + +git clone --branch=v2.0.8 --depth=1 --single-branch https://github.com/google/flatbuffers.git +cp flatbuffers/LICENSE.txt syzkaller/vendor/flatbuffers/ +cp flatbuffers/include/flatbuffers/*.h syzkaller/vendor/flatbuffers/ |