mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-29 18:49:22 +00:00
fix some bugs in the command-line.
This commit is contained in:
1 parent
dfe653fc49
commit
d6279335bb
4 files changed
+202
-171
No files matched your search
@@ -572,7 +572,11 @@ cmain (void)
|
||||
{
|
||||
int config_len, menu_len, num_entries;
|
||||
char *config_entries, *menu_entries;
|
||||
char *kill = (char *) KILL_BUF;
|
||||
|
||||
/* Initialize the kill buffer. */
|
||||
*kill = 0;
|
||||
|
||||
/* Never return. */
|
||||
for (;;)
|
||||
{
|
||||
|
||||
Reference in new issue
Block a user