* normal/main.c (grub_normal_execute): Check for `menu->size' rather
	than `menu' when determining whether menu has to be displayed.

diff -x CVS -x '*~' -x '*.mk' -urp ../grub2/normal/main.c ./normal/main.c
--- ../grub2/normal/main.c	2008-01-15 16:32:17.000000000 +0100
+++ ./normal/main.c	2008-02-01 20:58:56.000000000 +0100
@@ -474,7 +474,7 @@ grub_normal_execute (const char *config,
       grub_errno = GRUB_ERR_NONE;
     }
 
-  if (menu)
+  if (menu->size)
     {
       grub_menu_run (menu, nested);
       if (nested)