* grub-core/kern/corecmd.c (grub_core_cmd_set): Use grub_env_get

to fetch values when listing.

ChangeLog

@@ -1,3 +1,8 @@
+2013-06-07  Andrey Borzenkov <arvidjaar@gmail.com>
+
+	* grub-core/kern/corecmd.c (grub_core_cmd_set): Use grub_env_get
+	to fetch values when listing.
+
 2013-06-07  Andrey Borzenkov <arvidjaar@gmail.com>
 
 	Fix make dist on non-pc.

grub-core/kern/corecmd.c

@@ -40,7 +40,7 @@ grub_core_cmd_set (struct grub_command *cmd __attribute__ ((unused)),
     {
       struct grub_env_var *env;
       FOR_SORTED_ENV (env)
-	grub_printf ("%s=%s\n", env->name, env->value);
+	grub_printf ("%s=%s\n", env->name, grub_env_get (env->name));
       return 0;
     }