mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 23:32:39 +00:00
merge with mainline
This commit is contained in:
commit
13d7b4b0de
13 files changed
+142
-21
No files matched your search
+1
-1
@@ -204,7 +204,7 @@ grub_normal_add_menu_entry (int argc, const char **args,
|
||||
for (i = 0; i < argc; i++)
|
||||
{
|
||||
/* Capture arguments. */
|
||||
if (grub_strncmp ("--", args[i], 2) == 0)
|
||||
if (grub_strncmp ("--", args[i], 2) == 0 && i + 1 < argc)
|
||||
{
|
||||
const char *arg = &args[i][2];
|
||||
|
||||
|
||||
Reference in new issue
Block a user