After performing make distclean I've discovered following files being removed: Changes not staged for commit: (use "git add/rm <file>..." to update what will be committed) (use "git checkout -- <file>..." to discard changes in working directory) deleted: scripts/remote/__init__.py deleted: scripts/serial/tools/__init__.py deleted: scripts/serial/urlhandler/__init__.py What should actually happen to these files? Yegor _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox