From fcab4f04e5e32cd2d3247e25d2c629085fcb23bf Mon Sep 17 00:00:00 2001
From: Colin Watson <cjwatson@ubuntu.com>
Date: Tue, 5 Jan 2010 10:39:30 +0000
Subject: [PATCH] missing backslash

---
 util/grub-mkconfig_lib.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/grub-mkconfig_lib.in b/util/grub-mkconfig_lib.in
index acfc9f6ea..72e0e38f9 100644
--- a/util/grub-mkconfig_lib.in
+++ b/util/grub-mkconfig_lib.in
@@ -95,7 +95,7 @@ save_default_entry ()
   if [ "x${GRUB_DEFAULT}" = "xsaved" ] ; then
     cat << EOF
 if [ -z \${boot_once} ]; then
-  set saved_entry=${chosen}
+  set saved_entry=\${chosen}
   save_env saved_entry
 fi
 EOF