Added dns/nodns.

[~andy/fetchmail] / rcfile_l.l

diff --git a/rcfile_l.l b/rcfile_l.l
index 41f01feb0d9f8747394ed37146b860aeaedc5ba0..e8d80ec7bcd0d1e4110b5c7823d6c551dddfd73d 100644 (file)
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -17,6 +17,8 @@ int prc_lineno = 1;
 %o 5000
 %a 3000
 
+WS     [ \t]*
+
 %%
 
 set            { return SET; }
@@ -31,6 +33,7 @@ server                { return POLL; }
 poll           { return POLL; }
 skip           { return SKIP; }
 aka            { return AKA; }
+local(domains) { return LOCALDOMAINS; }
 proto(col)?    { return PROTOCOL; }
 port           { return PORT; }
 auth(enticate)?        { return AUTHENTICATE; }
@@ -52,14 +55,24 @@ to          { return TO; }
 =              { return MAP; }
 "*"            { return WILDCARD; }
 
-keep           { yylval.flag = FLAG_TRUE;  return KEEP; }
-flush          { yylval.flag = FLAG_TRUE;  return FLUSH; }
-fetchall       { yylval.flag = FLAG_TRUE;  return FETCHALL; }
-rewrite                { yylval.flag = FLAG_FALSE; return REWRITE; }
+keep           { yylval.flag = FLAG_TRUE; return KEEP; }
+flush          { yylval.flag = FLAG_TRUE; return FLUSH; }
+fetchall       { yylval.flag = FLAG_TRUE; return FETCHALL; }
+rewrite                { yylval.flag = FLAG_TRUE; return REWRITE; }
+dns            { yylval.flag = FLAG_TRUE; return DNS; }
+
 nokeep         { yylval.flag = FLAG_FALSE; return KEEP; }
 noflush                { yylval.flag = FLAG_FALSE; return FLUSH; }
 nofetchall     { yylval.flag = FLAG_FALSE; return FETCHALL; }
-norewrite      { yylval.flag = FLAG_TRUE;  return REWRITE; }
+norewrite      { yylval.flag = FLAG_FALSE; return REWRITE; }
+nodns          { yylval.flag = FLAG_FALSE; return DNS; }
+
+no{WS}keep     { yylval.flag = FLAG_FALSE; return KEEP; }
+no{WS}flush    { yylval.flag = FLAG_FALSE; return FLUSH; }
+no{WS}fetchall { yylval.flag = FLAG_FALSE; return FETCHALL; }
+no{WS}rewrite  { yylval.flag = FLAG_FALSE; return REWRITE; }
+no{WS}dns      { yylval.flag = FLAG_FALSE; return DNS; }
+
 limit          { return LIMIT; }
 
 with           {/* EMPTY */}