diff options
| author | Magnus Damm <[email protected]> | 2025-07-02 15:34:05 +0200 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2025-07-10 08:41:20 -0600 |
| commit | 39b836d898782e31961afd16769c46d7f2730858 (patch) | |
| tree | 9cc92b65150dc3a4e1b0d1a8e5952d41abbe5441 /Makefile | |
| parent | c589dc0c244e3038522ca162410bf4d02b1c5641 (diff) | |
makefile: Adjust distclean to remove .binman_stamp file
Remove the .binman_stamp file during distclean
Signed-off-by: Magnus Damm <[email protected]>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |