2009-12-08 Colin Watson <cjwatson@ubuntu.com>

* util/grub.d/00_header.in: Use `set var=val' rather than plain
	`var=val'.
	* util/grub-mkconfig_lib.in (save_default_entry): Likewise.

util/grub-mkconfig_lib.in

@@ -93,7 +93,7 @@ convert_system_path_to_grub_path ()
 save_default_entry ()
 {
   if [ "x${GRUB_DEFAULT}" = "xsaved" ] ; then
-    echo 'saved_entry=${chosen}'
+    echo 'set saved_entry=${chosen}'
     echo 'save_env saved_entry'
   fi
 }