=== modified file 'util/grub-mkconfig.in' --- old/util/grub-mkconfig.in 2009-12-12 00:43:32 +0000 +++ new/util/grub-mkconfig.in 2009-12-16 20:22:36 +0000 @@ -220,7 +220,8 @@ GRUB_DISABLE_LINUX_UUID \ GRUB_DISABLE_LINUX_RECOVERY \ GRUB_GFXMODE \ - GRUB_DISABLE_OS_PROBER + GRUB_DISABLE_OS_PROBER \ + GRUB_SAVEDEFAULT if test "x${grub_cfg}" != "x"; then rm -f ${grub_cfg}.new === modified file 'util/grub-mkconfig_lib.in' --- old/util/grub-mkconfig_lib.in 2009-12-16 20:12:30 +0000 +++ new/util/grub-mkconfig_lib.in 2009-12-16 20:22:36 +0000 @@ -96,7 +96,7 @@ save_default_entry () { - if [ "x${GRUB_DEFAULT}" = "xsaved" ] ; then + if [ "x${GRUB_SAVEDEFAULT}" = "xtrue" ] ; then echo 'if [ ${boot_once} != true ]; then' echo ' saved_entry=${chosen}' echo ' save_env saved_entry'