On Thu, Jan 29, 2015 at 11:27:55AM +0900, Masahiro Yamada wrote:
> There is no source file prefixed "barebox" at the top directory.
> Generated files there can be simply cleaned up "barebox*" pattern.
> 
> Signed-off-by: Masahiro Yamada <[email protected]>

Applied the rest but I'm unsure with this one. I sometimes put some
temporary files into the toplevel barebox directory and I'm probably not
the only one doing this. I usually don't want them to be deleted when
they start with "barebox" (which might not be uncommon during barebox
development).

Sascha

-- 
Pengutronix e.K.                           |                             |
Industrial Linux Solutions                 | http://www.pengutronix.de/  |
Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |

_______________________________________________
barebox mailing list
[email protected]
http://lists.infradead.org/mailman/listinfo/barebox

Reply via email to