diff options
Diffstat (limited to 'discover/grub2/lexer.l')
-rw-r--r-- | discover/grub2/lexer.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/discover/grub2/lexer.l b/discover/grub2/lexer.l index ab26f4b..5a4447b 100644 --- a/discover/grub2/lexer.l +++ b/discover/grub2/lexer.l @@ -6,6 +6,7 @@ %} %option nounput noinput +%option batch never-interactive %option warn %option noyywrap %option stack noyy_top_state |