On Fri, 17 Aug 2012, Leo Butler wrote:
> What happens if you run make without the -j2 flag?
With -j1 make succeeds (maxima ./configured for all 6 lisps available in
Gentoo). So, it's a parallel make problem. And it is new; 5.27.0 was OK.
Most Gentoo users use something like -j8 or -j16 by default. Having many
cores and lots of RAM, they don't want to wait. Those with cheaper
hardware use -j2 or -j4. Makefiles which fail with -j<many> are considered
buggy, and require fixing.
Andrey