Re: [PATCH] Makefile: Remove unused filechk_cat

From: Baoquan He
Date: Wed Oct 23 2024 - 08:21:38 EST


On 10/23/24 at 10:06am, Liad Peretz wrote:
> Signed-off-by: Liad Peretz <liad.per@xxxxxxxxx>
> ---
> kernel/Makefile | 2 --
> 1 file changed, 2 deletions(-)
>
> diff --git a/kernel/Makefile b/kernel/Makefile
> index 87866b037fbe..ca2dfa4343f0 100644
> --- a/kernel/Makefile
> +++ b/kernel/Makefile
> @@ -146,8 +146,6 @@ targets += config_data config_data.gz
> $(obj)/config_data.gz: $(obj)/config_data FORCE
> $(call if_changed,gzip)
>
> -filechk_cat = cat $<
> -

Seems true with 'git grep'.

Reviewed-by: Baoquan He <bhe@xxxxxxxxxx>

> $(obj)/config_data: $(KCONFIG_CONFIG) FORCE
> $(call filechk,cat)
>
> --
> 2.39.0
>