diff options
Diffstat (limited to 'l10ntools/source/cfglex.l')
| -rw-r--r-- | l10ntools/source/cfglex.l | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/l10ntools/source/cfglex.l b/l10ntools/source/cfglex.l index 63860eea4fad..1833da10d6a0 100644 --- a/l10ntools/source/cfglex.l +++ b/l10ntools/source/cfglex.l @@ -46,6 +46,8 @@ extern "C" FILE * init(int, char **); int bText=0; %} +%option never-interactive + %p 24000 %e 1200 %n 500 |