Also copy kernel into multiboot dir

diff --git a/tools/Makefile b/tools/Makefile
index 3616699f716801cea647ced8e20f04d3f5b93695..808b0a32fded8fbe0f7bf80225bf8a8cea4fb893 100644 (file)
--- 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;\