From eccb5d51f238524bc17a9eb408cefb3b74be3c8c Mon Sep 17 00:00:00 2001
From: Dirk Vogt <dirk@minix3.org>
Date: Tue, 1 May 2012 17:04:37 +0200
Subject: [PATCH] Also copy kernel into multiboot dir

---
 tools/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/Makefile b/tools/Makefile
index 3616699f7..808b0a32f 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -104,7 +104,7 @@ cross_install:
 		mkdir ${DESTDIR}/multiboot;\
 	fi
 #ext2 might be needed
-	for i in ${PROGRAMS} ../servers/ext2/ext2;\
+	for i in ${PROGRAMS} ../kernel/kernel ../servers/ext2/ext2;\
 	do\
 	newname="${DESTDIR}/multiboot/`basename $$i`"; \
 		cp $$i $$newname;\
-- 
2.44.0