Attached is a patch intended to make it possible to reproduce/debug
this issue on architectures w/ more common page sizes (e.g. i386).
--
dann frazier
--- flex-2.5.35.orig/scan.c 2008-10-21 14:27:17.000000000 -0600
+++ flex-2.5.35/scan.c 2008-10-21 12:59:00.000000000 -0600
@@ -5157,6 +5157,7 @@ int yywrap()
/* set_input_file - open the given file (if NULL, stdin) for scanning */
+char *mybuf;
void set_input_file( file )
char *file;
{
@@ -5171,7 +5172,9 @@ char *file;
else
{
+ mybuf = (char *)malloc(16384);
yyin = stdin;
+ setbuffer(stdin, mybuf, 16384);
infilename = copy_string( "<stdin>" );
}
