diff options
| author | Florent Revest <revest@chromium.org> | 2024-10-02 15:25:51 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-10-14 19:43:42 +0000 |
| commit | 2e5c6a5c1c62461b69c6f50a123885b9910fce04 (patch) | |
| tree | f2f92dc597a90cecf52bf5435a88959632f7fd77 /executor/_include/flatbuffers | |
| parent | 56381a3b0c5178a73a7ad714a54dab5ab47e0ffa (diff) | |
pkg/build/linux: support building with a custom make binary
Certain environments might need a specific make command or wrap make
calls with extra logic. This lets users provide a path to a custom make
binary.
Diffstat (limited to 'executor/_include/flatbuffers')
0 files changed, 0 insertions, 0 deletions