>>>>> "Michael" == Michael Paquier <michael(at)paquier(dot)xyz> writes:
Michael> prairiedog is unhappy with this commit:
What version of GNU Make is on there, do you know? Tom? I don't see itmentioned in the output anywhere.
-- Andrew.