Add more flex options, document requirement.

diff --git a/rcfile_l.l b/rcfile_l.l
index 8dcd8af1b0a99acdc6d047a1abe8b5a0b522d874..d40648d5c3762f08a3befa68652c2c46f0ff2dbc 100644 (file)
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -1,7 +1,7 @@
 %{
 
 /*
- * rcfile_l.l -- lexer for the run control file
+ * rcfile_l.l -- lexer for the run control file, to be used with GNU flex.
  *
  * For license terms, see the file COPYING in this directory.
  */
@@ -23,11 +23,9 @@ int prc_lineno = 1;
 
 %}
 
-/* this doesn't work with Linux lex, see the INSTALL file */
-%o 7000
-%a 4000
-%p 3000
 %option nounput noyywrap
+%option warn nodefault
+%option 8bit batch
 
 %s NAME AUTH