makefile: Adjust distclean to remove .binman_stamp file

Remove the .binman_stamp file during distclean

Signed-off-by: Magnus Damm <damm@opensource.se>

diff --git a/Makefile b/Makefile
index 93e9f40..e8f1271 100644 (file)
--- 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