Release-1.3-rc3-20030317

1 files changed, 8 insertions, 0 deletions

diff --git a/src/increasebuffer.pl b/src/increasebuffer.pl
new file mode 100755
index 0000000..056a6b5
--- /dev/null
+++ b/src/increasebuffer.pl
@@ -0,0 +1,8 @@
+# Since the internal token buffer of a generated flex file is hardcoded
+# to 16K, this script is used to increase the buffer size of a flex 
+# generated scanner to 256K. 
+while (<>)
+{
+	s/YY_BUF_SIZE 16384/YY_BUF_SIZE 262144/g; 
+	print $_;
+}