summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rwxr-xr-xMakefile2
1 files changed, 1 insertions, 1 deletions
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