- disable pipeline workaround
- create /dev/MAKEDEV in chroot to work around the
"./MAKEDEV: No such file or directory" problem of some packages
+ * Do not copy the initrd of chroot to boot/isolinux/ but instead move
+ it to save a few more MBs of space.
-- Michael Prokop <mika@grml.org> Thu, 04 Oct 2007 22:16:34 +0200
# booting stuff:
mkdir -p "$BUILD_TARGET"/boot/isolinux
cp /boot/memtest86+.bin "$BUILD_TARGET"/boot/isolinux/memtest
- cp "$CHROOT_TARGET"/boot/initrd* "$BUILD_TARGET"/boot/isolinux/initrd.gz
+ # do not keep the initrd inside the chroot, let's save space instead:
+ mv "$CHROOT_TARGET"/boot/initrd* "$BUILD_TARGET"/boot/isolinux/initrd.gz
cp "$CHROOT_TARGET"/boot/vmlinuz* "$BUILD_TARGET"/boot/isolinux/linux26
cp /usr/lib/syslinux/chain.c32 "$BUILD_TARGET"/boot/isolinux/
cp /usr/lib/syslinux/isolinux.bin "$BUILD_TARGET"/boot/isolinux/