Re: [PATCH] Documentation/Makefile: fix lint-docs mkdir dependency

From: Jeff King <peff@peff.net>
Date: Oct 26, 2021, 21:18 UTC
Message-ID: <YXhwqVUNaoSZpdex@coredump.intra.peff.net>
In-Reply-To: <211026.86fsso14m1.gmgdl@evledraar.gmail.com>

On Tue, Oct 26, 2021 at 12:05:40PM +0200, Ævar Arnfjörð Bjarmason wrote:

> I'll try to do something about the $(QUIET*) as a follow-up, I was
> trying to find the right balance between over-verbosity & "tracing".

Yeah, I wondered if it would end up super-verbose. But I tried it out and IMHO it looks just fine to print mkdir lines. In the initial build, "make" realizes we only need to run each rule once, and in subsequent builds it doesn't run them at all.

-Peff