diff options
author | Martin Mares <mj@ucw.cz> | 1999-03-29 19:35:47 +0000 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 1999-03-29 19:35:47 +0000 |
commit | f5c687f7911501ac1efd8163fade4862dc65456c (patch) | |
tree | 04fa54e6c2e09a1f3bee060b4694c8822fcbec31 /tools | |
parent | f54801ffedf3d6342b37c1560502bfc24e7fe64a (diff) |
Added lp_flush() which flushes contents of a linear pool, leaving all the
memory available for subsequent allocations from the same pool. Both flushing
and re-using the memory costs just few instructions.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions