From 39b836d898782e31961afd16769c46d7f2730858 Mon Sep 17 00:00:00 2001 From: Magnus Damm Date: Wed, 2 Jul 2025 15:34:05 +0200 Subject: [PATCH] makefile: Adjust distclean to remove .binman_stamp file Remove the .binman_stamp file during distclean Signed-off-by: Magnus Damm --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 93e9f401842..e8f12716640 100644 --- a/Makefile +++ b/Makefile @@ -2529,7 +2529,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 -- 2.47.2