diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2015-12-10 21:04:32 (GMT) |
---|---|---|
committer | Dimitri van Heesch <dimitri@stack.nl> | 2015-12-10 21:04:32 (GMT) |
commit | e8243a5457d8d6ffed03877b3149d1d96a4b77d5 (patch) | |
tree | f5a1f2f01adcbc95ac756d3221d6907f86f8ee8e /src/increasebuffer.py | |
parent | c52a31f1c5c559edd1604bd20dd64d1e87f26231 (diff) | |
parent | 183f36fe97cb95636f1947c2c4be61f7b78f87e0 (diff) | |
download | Doxygen-e8243a5457d8d6ffed03877b3149d1d96a4b77d5.zip Doxygen-e8243a5457d8d6ffed03877b3149d1d96a4b77d5.tar.gz Doxygen-e8243a5457d8d6ffed03877b3149d1d96a4b77d5.tar.bz2 |
Merge pull request #421 from albert-github/feature/py_obsolete
Remove obsolete py files
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')) |