From 039144b8e7f7fb4074883e8037787d420e86f70c Mon Sep 17 00:00:00 2001 From: Louis Burda Date: Wed, 1 Feb 2023 12:20:58 -0600 Subject: fixup! Event batching --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 34c682c..d4d9352 100755 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3-71-gd317