diff options
Diffstat (limited to 'src/increasebuffer.py')
| -rwxr-xr-x | src/increasebuffer.py | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/increasebuffer.py b/src/increasebuffer.py deleted file mode 100755 index e2b2d0c..0000000 --- a/src/increasebuffer.py +++ /dev/null @@ -1,7 +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. -import sys -sys.stdout.write(sys.stdin.read(). - replace('YY_BUF_SIZE 16384','YY_BUF_SIZE 262144'). - replace('YY_READ_BUF_SIZE 8192','YY_READ_BUF_SIZE 262144')) |