merge with mainline
This commit is contained in:
commit
368ba29261
22 changed files with 878 additions and 79 deletions
|
@ -272,7 +272,7 @@ grub_script_execute_cmdline (struct grub_script_cmd *cmd)
|
|||
struct grub_script_argv argv = { 0, 0 };
|
||||
|
||||
/* Lookup the command. */
|
||||
if (grub_script_arglist_to_argv (cmdline->arglist, &argv))
|
||||
if (grub_script_arglist_to_argv (cmdline->arglist, &argv) || ! argv.args[0])
|
||||
return grub_errno;
|
||||
|
||||
cmdname = argv.args[0];
|
||||
|
|
|
@ -116,7 +116,7 @@ COMMENT #.*$
|
|||
|
||||
CHAR [^{}|&$;<> \t\n\'\"\\]
|
||||
DIGITS [[:digit:]]+
|
||||
NAME [[:alpha:]_][[:alnum:][:digit:]_]*
|
||||
NAME [[:alpha:]_][[:alnum:]_]*
|
||||
|
||||
ESC \\.
|
||||
SPECIAL \?|\#|\*|\@
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue