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

[Magnus Damm]

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