Ticket #3039: grub-1.99-noedit.patch

File grub-1.99-noedit.patch, 557 bytes (added by mad77, 12 years ago)

  • grub-core/normal/menu.c 

    diff -pruN grub-1.99.orig/grub-core/normal/menu.c grub-1.99/grub-core/normal/menu.c
    old new run_menu (grub_menu_t menu, int nested,  
    636636              goto refresh;
    637637
    638638            case 'e':
    639               menu_fini ();
     639             /* menu_fini ();
    640640                {
    641641                  grub_menu_entry_t e = grub_menu_get_entry (menu, current_entry);
    642642                  if (e)
    643643                    grub_menu_entry_run (e);
    644                 }
     644                } */
    645645              goto refresh;
    646646
    647647            default: