mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-29 02:31:05 +00:00
removed error-verbose to reduce resulting sh.mod size
This commit is contained in:
1 parent
1a0c3b4809
commit
d63cdb6e70
1 file changed
-2
@@ -80,8 +80,6 @@
|
|||||||
%type <cmd> commands1 menuentry statement
|
%type <cmd> commands1 menuentry statement
|
||||||
|
|
||||||
%pure-parser
|
%pure-parser
|
||||||
%error-verbose
|
|
||||||
|
|
||||||
%lex-param { struct grub_parser_param *state };
|
%lex-param { struct grub_parser_param *state };
|
||||||
%parse-param { struct grub_parser_param *state };
|
%parse-param { struct grub_parser_param *state };
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user