2010-10-05 Jordan Uggla <jordan.uggla@gmail.com>

2010-10-05  Colin Watson  <cjwatson@ubuntu.com>

	* util/grub.d/00_header.in: Define a "savedefault" function for use
	in menu entries.
	* util/grub-mkconfig_lib.in (save_default_entry): Use it.

util/grub-mkconfig_lib.in

@@ -94,10 +94,7 @@ save_default_entry ()
 {
   if [ "x${GRUB_DEFAULT}" = "xsaved" ] ; then
     cat << EOF
-if [ -z \${boot_once} ]; then
-  set saved_entry=\${chosen}
-  save_env saved_entry
-fi
+savedefault
 EOF
   fi
 }