diff --git a/tools/boot/jessie/boot-x86 b/tools/boot/jessie/boot-x86 index 7fb999a1..a27ec6b8 100644 --- a/tools/boot/jessie/boot-x86 +++ b/tools/boot/jessie/boot-x86 @@ -442,6 +442,12 @@ if [ -d boot$N/isolinux/grub ] ; then mv boot$N/isolinux/grub/* $CDDIR/boot/grub/ rmdir boot$N/isolinux/grub + # If we're only doing EFI, copy the splash file from the BIOS boot dir + if [ $BOOT_EFI = 1 ] ; then + mkdir -p $CDDIR/isolinux + cp boot$N/isolinux/splash.png $CDDIR/isolinux + fi + # Create grub menu entries to match the isolinux ones sed -i '/^menuentry/Q' $CDDIR/boot/grub/grub.cfg; $BASEDIR/tools/boot/$DI_CODENAME/parse_isolinux \