diff --git a/installer/grub-menu-builder.sh b/installer/grub-menu-builder.sh index 50d8205f8ec..a1afcf63bf2 100644 --- a/installer/grub-menu-builder.sh +++ b/installer/grub-menu-builder.sh @@ -65,6 +65,14 @@ if test -n "$tmp"; then fi +# Additional entries specified verbatim by the configuration. +cat >> $tmp <