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 /nest/Makefile | |
| 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 'nest/Makefile')
0 files changed, 0 insertions, 0 deletions