src/increasebuffer.pl

   1 # Since the internal token buffer of a generated flex file is hardcoded
   2 # to 16K, this script is used to increase the buffer size of a flex
   3 # generated scanner to 256K.
   4 while (<>)
   5 {
   6         s/YY_BUF_SIZE 16384/YY_BUF_SIZE 262144/g;
   7         s/YY_READ_BUF_SIZE 8192/YY_READ_BUF_SIZE 262144/g;
   8         print $_;
   9 }