On Wed, Mar 25, 2020 at 03:30:02PM +0900, Masahiro Yamada wrote: > [ Linux comit 1634f2bfdb846ed0a8b73131a9dff7c420fb3fe1 ] > > The only the difference between clean-files and clean-dirs is the -r > option passed to the 'rm' command. > > You can always pass -r, and then remove the clean-dirs syntax. > > Signed-off-by: Masahiro Yamada <yamada.masahiro@xxxxxxxxxxxxx> > --- > scripts/Makefile.clean | 15 +-------------- > scripts/kconfig/Makefile | 2 +- > 2 files changed, 2 insertions(+), 15 deletions(-) Applied, thanks Sascha -- Pengutronix e.K. | | Steuerwalder Str. 21 | http://www.pengutronix.de/ | 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox