From 9d3c82d14d20975d41345ae21486c6b3dbcf87fc Mon Sep 17 00:00:00 2001
From: Steve McIntyre <steve@einval.com>
Date: Wed, 25 Nov 2015 23:49:19 +0000
Subject: [PATCH] List the number of grub boot entries added, as extra debug

---
 tools/boot/stretch/boot-x86 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/boot/stretch/boot-x86 b/tools/boot/stretch/boot-x86
index a8c30de0..bd708658 100644
--- a/tools/boot/stretch/boot-x86
+++ b/tools/boot/stretch/boot-x86
@@ -477,6 +477,8 @@ if [ -d boot$N/isolinux/grub ] && [ $BOOT_EFI -ne 0 ] ; then
     $BASEDIR/tools/boot/$DI_CODENAME/parse_isolinux \
         boot$N/isolinux $CDDIR $BASEDIR/data/$DI_CODENAME/grub-theme.in "$DISKINFO_DISTRO" "$DEBIAN_KERNEL" "$DEBVERSION" \
         >> $CDDIR/boot/grub/grub.cfg
+    NUM_ENTRIES=$(grep menuentry $CDDIR/boot/grub/grub.cfg | wc -l)
+    echo "    CD$N/boot/grub/grub.cfg has $NUM_ENTRIES boot entries defined"
 
     # Stuff the EFI boot files into a FAT filesystem, making it as
     # small as possible.  24KiB headroom seems to be enough;