On Wednesday-201512-02 22:04, Jarkko Hietaniemi wrote:
Since nothing different happens (the same failure happens) I think my next step will be trying building GNU make, since the /usr/bin/make does not seem to be in helpful mood. Yak shaving at its finest.
Make that a newer GNU make. Found one but it's ancient.
