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.