On Wednesday-201512-02 20:55, Paul Eggert wrote:
make V=1
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.
