On Wed, 14 Oct 2015, Zoltan Somogyi wrote:
> The basic idea has already been reviewed.
>
> Zoltan.
This change has broken mmc --make, doing
$ mmake --use-mmc-make GRADE=charp
results in compilation aborting in the library directory. I'm
still looking into why this is occurring.
Julien.