diff options
Diffstat (limited to 'discover/grub2/grub2-lexer.l')
| -rw-r--r-- | discover/grub2/grub2-lexer.l | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/discover/grub2/grub2-lexer.l b/discover/grub2/grub2-lexer.l index 81dc5fe..b55a715 100644 --- a/discover/grub2/grub2-lexer.l +++ b/discover/grub2/grub2-lexer.l @@ -24,7 +24,8 @@ void yyerror(struct grub2_parser *parser, const char *fmt, ...); WORD [^{}|&$;<> \t\n'"#]+ DELIM [ \t]+ BLANK ["]{2}|[']{2} -VARNAME ([[:alpha:]][_[:alnum:]]*|[0-9]|[\?@\*#]) +NUMBER 0|[1-9][0-9]* +VARNAME ([[:alpha:]][_[:alnum:]]*|{NUMBER}|[\?@\*#]) %% |
