« Previous | Next » 

Revision f5c687f7

IDf5c687f7911501ac1efd8163fade4862dc65456c
Parent f54801ff
Child 6c02d83f

Added by Martin Mares over 22 years ago

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.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences