[PATCH] makefile: Adjust distclean to remove .binman_stamp file

[Marek Vasut]

On 7/2/25 3:34 PM, Magnus Damm wrote:
> From: Magnus Damm <damm at opensource.se>
> 
> Remove the .binman_stamp file during distclean
> 
> Signed-off-by: Magnus Damm <damm at opensource.se>
> ---
> 
>   On top of cbb5672790d400e9ec6e9fceaf89ece2660c0117 (origin/next)
> 
>   Makefile |    2 +-
>   1 file changed, 1 insertion(+), 1 deletion(-)
> 
> --- 0001/Makefile
> +++ work/Makefile	2025-07-02 22:18:46.615791336 +0900
> @@ -2309,7 +2309,7 @@ distclean: mrproper
>   		-o -name '.*.rej' -o -name '*%' -o -name 'core' \
>   		-o -name '*.pyc' \) \
>   		-type f -print | xargs rm -f
> -	@rm -f boards.cfg CHANGELOG
> +	@rm -f boards.cfg CHANGELOG .binman_stamp
>   
>   # See doc/develop/python_cq.rst
>   PHONY += pylint pylint_err

+CC Simon, Tom

Please use ./scripts/get_maintainer.pl or binman or some such tool to 
get a CC list.