diff options
Diffstat (limited to 'executor/_include')
| -rw-r--r-- | executor/_include/flatbuffers/README.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/executor/_include/flatbuffers/README.md b/executor/_include/flatbuffers/README.md index 3f687c0fe..7f0d63ef0 100644 --- a/executor/_include/flatbuffers/README.md +++ b/executor/_include/flatbuffers/README.md @@ -2,6 +2,8 @@ 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/ +cp flatbuffers/LICENSE.txt syzkaller/executor/_include/flatbuffers +cp flatbuffers/include/flatbuffers/*.h syzkaller/executor/_include/flatbuffers +``` |