> From: Paul Smith
> Cc: Eli Zaretskii , "bug-make@gnu.org"
> Date: Mon, 29 Apr 2013 16:16:40 -0400
>
> It's probably a good idea for make to provide a "gmk_free()" function
> that will free memory returned to the plugin when it calls gmk_*()
> functions such as gmk_expand(). Is that sufficient
On Mon, 2013-04-29 at 19:30 +0100, Tim Murphy wrote:
> I must clarify - I think that make should provide plugins with an
> allocation mechanism. Not the other way around.
It's probably a good idea for make to provide a "gmk_free()" function
that will free memory returned to the plugin when it call
