5655

1 files changed, 4 insertions, 4 deletions

diff --git a/gen_linux_iso b/gen_linux_iso
index 96a2628f..c2c4499f 100755
--- a/gen_linux_iso
+++ b/gen_linux_iso
@@ -27,17 +27,17 @@ rm -rf tmp/isoimage
 mkdir -p tmp/isoimage/boot
 echo init | cpio -R root:root -H newc -o | xz -9 --check=none > tmp/isoimage/boot/rootfs.xz
 
-if [ ! -d kernel ]
+if [ ! -d kernel.linux ]
 then
   echo "=== cloning linux kernel"
-  git clone https://github.com/akkartik/kernel
+  git clone https://github.com/akkartik/kernel kernel.linux
 fi
 
 echo "=== building linux kernel"
-( cd kernel
+( cd kernel.linux
   make bzImage -j $(grep ^processor /proc/cpuinfo | wc -l)
 )
-cp kernel/arch/x86/boot/bzImage tmp/isoimage/boot/kernel.xz
+cp *.linux/arch/x86/boot/bzImage tmp/isoimage/boot/kernel.xz
 
 echo "=== downloading syslinux"
 test -f tmp/syslinux-6.03.tar.xz  ||  wget https://kernel.org/pub/linux/utils/boot/syslinux/syslinux-6.03.tar.xz -P tmp