diff options
Diffstat (limited to 'src/increasebuffer.pl')
-rwxr-xr-x | src/increasebuffer.pl | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/increasebuffer.pl b/src/increasebuffer.pl deleted file mode 100755 index 109f9ad..0000000 --- a/src/increasebuffer.pl +++ /dev/null @@ -1,9 +0,0 @@ -# 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 $_; -} |