From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Thu, 17 Jun 2021 20:04:39 GMT
Subject: RE: [PATCH 1/3] Makefile: mark "check" target as .PHONY
Message-ID: <60cbaad7c4cee_9bf208a6@natae.notmuch>
In-Reply-To: <patch-1.3-27c94247f8-20210617T095827Z-avarab@gmail.com>

Ævar Arnfjörð Bjarmason wrote:
> --- a/Makefile
> +++ b/Makefile
> @@ -2910,6 +2910,7 @@ hdr-check: $(HCO)
>  style:
>  	git clang-format --style file --diff --extensions c,h
>  
> +.PHONY: check
>  check: config-list.h command-list.h
>  	@if sparse; \
>  	then \

Obviously correct.

-- 
Felipe Contreras