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 /syz-ci/manager.go | |
| 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 'syz-ci/manager.go')
| -rw-r--r-- | syz-ci/manager.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/syz-ci/manager.go b/syz-ci/manager.go index fd19a8780..872825c34 100644 --- a/syz-ci/manager.go +++ b/syz-ci/manager.go @@ -370,6 +370,7 @@ func (mgr *Manager) build(kernelCommit *vcs.Commit) error { VMType: mgr.managercfg.Type, KernelDir: mgr.kernelBuildDir, OutputDir: tmpDir, + Make: mgr.mgrcfg.Make, Compiler: mgr.mgrcfg.Compiler, Linker: mgr.mgrcfg.Linker, Ccache: mgr.mgrcfg.Ccache, |