diff options
| author | Louis Burda <quent.burda@gmail.com> | 2023-02-01 12:20:58 -0600 |
|---|---|---|
| committer | Louis Burda <quent.burda@gmail.com> | 2023-02-01 12:20:58 -0600 |
| commit | 039144b8e7f7fb4074883e8037787d420e86f70c (patch) | |
| tree | 102c4ef36f77f9ff35d05c42be022dbc5368035d /Makefile | |
| parent | 7cd66755ff29a9f56601d5612a902b45d14798d5 (diff) | |
| download | cachepc-039144b8e7f7fb4074883e8037787d420e86f70c.tar.gz cachepc-039144b8e7f7fb4074883e8037787d420e86f70c.zip | |
fixup! Event batching
Diffstat (limited to 'Makefile')
| -rwxr-xr-x | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -44,7 +44,7 @@ linux: # build host kernel for depmod git -C $(LINUX) stash git -C $(LINUX) checkout d9bd54fea4d2 rm -f $(LINUX)/arch/x86/kvm/cachepc - $(MAKE) -C $(LINUX) -j $(JOBS) -l $(LOAD) + $(MAKE) -C $(LINUX) -j $(JOBS) -l $(LOAD) vmlinux headers git -C $(LINUX) checkout master git -C $(LINUX) stash pop || true |