summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorMartin Mares <mj@ucw.cz>1999-03-29 19:35:47 +0000
committerMartin Mares <mj@ucw.cz>1999-03-29 19:35:47 +0000
commitf5c687f7911501ac1efd8163fade4862dc65456c (patch)
tree04fa54e6c2e09a1f3bee060b4694c8822fcbec31 /tools
parentf54801ffedf3d6342b37c1560502bfc24e7fe64a (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