From 0c6c1c04d43c893d8bc1b5a1b06977b293bc25bf Mon Sep 17 00:00:00 2001
From: Steve McIntyre <steve@einval.com>
Date: Tue, 10 May 2016 10:17:32 +0100
Subject: [PATCH] Indent fixes

---
 tools/boot/stretch/boot-x86 | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/tools/boot/stretch/boot-x86 b/tools/boot/stretch/boot-x86
index 494b88bf..773efc2e 100644
--- a/tools/boot/stretch/boot-x86
+++ b/tools/boot/stretch/boot-x86
@@ -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;