From: Magnus Damm <d...@opensource.se>
Remove the .binman_stamp file during distclean
Signed-off-by: Magnus Damm <d...@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
