diff options
author | Matthias Andree <matthias.andree@gmx.de> | 2017-02-11 20:13:36 +0100 |
---|---|---|
committer | Matthias Andree <matthias.andree@gmx.de> | 2017-02-11 20:13:36 +0100 |
commit | 40b60e1ce518309b7a3d93c0ce4346137bd7b6e7 (patch) | |
tree | a89a7fed55470bd2e2f6473416729cbd835045d8 | |
parent | bd9be99db5decc91a348b9abfe717b332ff0f5c0 (diff) | |
download | fetchmail-40b60e1ce518309b7a3d93c0ce4346137bd7b6e7.tar.gz fetchmail-40b60e1ce518309b7a3d93c0ce4346137bd7b6e7.tar.bz2 fetchmail-40b60e1ce518309b7a3d93c0ce4346137bd7b6e7.zip |
Work around GNU flex madness around yywrap().
-rw-r--r-- | rcfile_l.l | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -27,14 +27,16 @@ int prc_lineno = 1; #define YY_NO_INPUT +int yywrap(void) { return 1; } + %} -%option nounput noyywrap -%option warn nodefault -%option 8bit batch +%option nounput yywrap warn nodefault 8bit batch %s NAME AUTH + + %% \"[^\"]*\" | |