From: Dirk Vogt <dirk@minix3.org>
Date: Tue, 1 May 2012 15:04:37 +0000 (+0200)
Subject: Also copy kernel into multiboot dir
X-Git-Tag: v3.2.1~521
X-Git-Url: http://zhaoyanbai.com/repos/%22http:/www.isc.org/icons/doc/syslog.3.html?a=commitdiff_plain;h=eccb5d51f238524bc17a9eb408cefb3b74be3c8c;p=minix.git

Also copy kernel into multiboot dir
---

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;\