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