Peppermint
/
debian-cd-clone
mirror of https://salsa.debian.org/images-team/debian-cd.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Indent fixes

This commit is contained in:
Steve McIntyre 2016-05-10 10:17:32 +01:00
parent 9223ab7dbb
commit 0c6c1c04d4
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tools/boot/stretch/boot-x86
View File

@ -469,11 +469,11 @@ if [ -d boot$N/isolinux/grub ] && [ $BOOT_EFI -ne 0 ] ; 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
# 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;