mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 07:39:22 +00:00
fix comment and brace handling
This commit is contained in:
1 parent
c76a18386f
commit
6fdda85ae6
3 files changed
+25
-2
No files matched your search
+2
-2
@@ -112,9 +112,9 @@ typedef size_t yy_size_t;
|
||||
%option extra-type="struct grub_parser_param*"
|
||||
|
||||
BLANK [ \t]
|
||||
COMMENT ^[ \t]*#.*$
|
||||
COMMENT #.*$
|
||||
|
||||
CHAR [^|&$;<> \t\n\'\"\\]
|
||||
CHAR [^{}|&$;<> \t\n\'\"\\]
|
||||
DIGITS [[:digit:]]+
|
||||
NAME [[:alpha:]_][[:alnum:][:digit:]_]*
|
||||
|
||||
|
||||
Reference in new issue
Block a user