Added do_stdinit

diff --git a/flexdef.h b/flexdef.h
index 5c542c1fc268e059869a926251001908423e7cd7..fdd7b024a35679321e6e01a4e22889179e479ab7 100644 (file)
--- a/flexdef.h
+++ b/flexdef.h
@@ -395,6 +395,7 @@ extern int yymore_really_used, reject_really_used;
  * outfilename - name of output file
  * did_outfilename - whether outfilename was explicitly set
  * prefix - the prefix used for externally visible names ("yy" by default)
+ * do_stdinit - whether to initialize yyin/yyout to stdin/stdout
  * use_stdout - the -t flag
  * input_files - array holding names of input files
  * num_input_files - size of input_files array
@@ -417,7 +418,7 @@ extern int skel_ind;
 extern char *infilename, *outfilename;
 extern int did_outfilename;
 extern char *prefix;
-extern int use_stdout;
+extern int do_stdinit, use_stdout;
 extern char **input_files;
 extern int num_input_files;
 extern char *program_name;