On Tue, May 14, 2019 at 10:40 PM Martin Dorey
wrote:
>
> > It would be nice if Make cleaned up its resources before exiting.
>
> Would it? Linking all those blocks back on to free lists and coalescing
> adjacent ones doesn't take a long time but it takes more time than just
> tearing down the a
> It would be nice if Make cleaned up its resources before exiting.
Would it? Linking all those blocks back on to free lists and coalescing
adjacent ones doesn't take a long time but it takes more time than just tearing
down the address space. It can be a reasonable economy for short-lived
pr
