changeset 0 | 42188c7ea2d9 |
-1:000000000000 | 0:42188c7ea2d9 |
---|---|
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 } |