Re: make: clarify an error string

[Todd C. Miller]

On Mon, 24 Jul 2017 13:02:12 +0200, Marc Espie wrote:

> Here's a proper error message:

OK millert@

 - todd