--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Orb/Doxygen/src/increasebuffer.pl	Thu Jan 21 17:29:01 2010 +0000
@@ -0,0 +1,9 @@
+# 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; 
+        s/YY_READ_BUF_SIZE 8192/YY_READ_BUF_SIZE 262144/g;
+	print $_;
+}