diff options
Diffstat (limited to 'l10ntools/source/xrmlex.l')
| -rw-r--r-- | l10ntools/source/xrmlex.l | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/l10ntools/source/xrmlex.l b/l10ntools/source/xrmlex.l index 56d43d356d3b..8158d7b83505 100644 --- a/l10ntools/source/xrmlex.l +++ b/l10ntools/source/xrmlex.l @@ -54,6 +54,8 @@ void YYWarning(); int bText=0; %} +%option never-interactive + %p 24000 %e 1200 %n 500 |