Unfortunately it looks like I won't be able to get this solved. I was
hoping to, and even thinking of contributing some README-type documentation
on how to do it, but I just couldn't get it to work and we ended up solving
the problem another way so the impetus is gone. I didn't keep track of all
th
I'm sorry I didn't think of this before, but another option would be to
use the build.sh bootstrapping script, which we provide for situations
where you want to build GNU Make on systems where there isn't already a
make instance available.
This doesn't run make and doesn't require a configure, it
