diff options
author | Martin Mares <mj@ucw.cz> | 1999-04-05 20:06:02 +0000 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 1999-04-05 20:06:02 +0000 |
commit | d4ff748224fc18e460e74ab14d70d01fd50e4b92 (patch) | |
tree | 3d735ebaea8e4b8adb7cbc59c7c8c5ccd743de44 /tools | |
parent | c10421d3d4b5f23dc953c887332bdb6e80ae0540 (diff) |
Use a more reasonable pool chunk size: 4080 bytes seem to be a good
approximation of a integral fraction of page size even if both malloc
overhead and chunk header space is counted.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions