Drop debian_rc from contrib/, outdated.

[~andy/fetchmail] / rcfile_l.l

diff --git a/rcfile_l.l b/rcfile_l.l
index 13aed54956239d808d8bf69f8749b4bb8f796dc2..7310f6b91f3be6ea8716a9f65b06dd67dc6d86e6 100644 (file)
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -98,8 +98,15 @@ esmtppassword        { return ESMTPPASSWORD; }
 bad-header     { return BADHEADER; }
 accept         { return ACCEPT; }
 reject         { return REJECT_; }
+retrieve-error { return RETRIEVEERROR; }
+abort          { return ABORT; }
+continue       { return CONTINUE; }
+markseen       { return MARKSEEN; }
 
 user(name)?    {SETSTATE(NAME); return USERNAME; }
+pwmd_socket    { return PWMD_SOCKET; }
+pwmd_file      { return PWMD_FILE; }
+pinentry_timeout       { return PINENTRY_TIMEOUT; }
 <INITIAL,NAME>pass(word)?      {SETSTATE(NAME); return PASSWORD; }
 folder(s)?     { return FOLDER; }
 smtp(host)?    { return SMTPHOST; }