diff --git a/installer/grub-menu-builder.sh b/installer/grub-menu-builder.sh index f24e1085e06..7d0e241e526 100644 --- a/installer/grub-menu-builder.sh +++ b/installer/grub-menu-builder.sh @@ -35,7 +35,15 @@ if test -n "@grubSplashImage@"; then echo "splashimage $splashLocation" >> $tmp fi -configurationCounter=0; +configurationCounter=0 +configurationLimit="@configurationLimit@" +numAlienEntries=$(cat <