From d5493bc3ea3a3a42f0a008e1556f1242d01236c2 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 28 Oct 2015 19:18:17 +0100
Subject: [PATCH] build bzImage on demand

---
 Makefile.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 11602bf2e..bff1217e1 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -2,13 +2,16 @@ QEMU = @QEMU@ -machine accel=kvm -cpu host
 CROSSDIR = @CROSSDIR@
 JOBS = 20
 
-default:
+default: linux/arch/x86/boot/bzImage
 	make PATH=$(PATH):$(CROSSDIR) -C hermit
 	make PATH=$(PATH):$(CROSSDIR) -C hermit/tools proxy
 
 all: default
 	make -j$(JOBS) -C linux
 
+linux/arch/x86/boot/bzImage:
+	make -j$(JOBS) -C linux
+
 test:
 	@echo "Nothing to test"