# HG changeset patch
# User Pascal Bellard <pascal.bellard@slitaz.org>
# Date 1528033404 -7200
# Node ID 3ab0aff9101925d52cf8249873016438e73ed6fb
# Parent  d585f84044939a7227d538a50746677b61d55e50
Take care of installed /boot/isolinux/efi.img (again)

diff -r d585f8404493 -r 3ab0aff91019 tazlito
--- a/tazlito	Sun Jun 03 14:17:50 2018 +0200
+++ b/tazlito	Sun Jun 03 15:43:24 2018 +0200
@@ -1267,6 +1267,9 @@
 # Remove duplicated files in $1/efi/boot from $1/boot
 
 cleanup_efi_boot() {
+	[ -s $1/boot/isolinux/efi.img ] &&
+	[ ! -x $1/boot/isolinux/efi.img ] &&
+	rm -f $1/boot/isolinux/efi.img
 	for i in $1/efi/boot/* ; do
 		[ -f $i ] || continue
 		case "$i" in