Ticket #3039: grub-1.99-nocmd.patch
| File grub-1.99-nocmd.patch, 480 bytes (added by , 13 years ago) |
|---|
-
grub-core/normal/menu.c
diff -pruN grub-1.99/grub-core/normal/menu.c grub-1.99.new/grub-core/normal/menu.c
old new run_menu (grub_menu_t menu, int nested, 631 631 break; 632 632 633 633 case 'c': 634 menu_fini ();635 grub_cmdline_run (1); 634 /* menu_fini (); 635 grub_cmdline_run (1); */ 636 636 goto refresh; 637 637 638 638 case 'e':
