Resending, with a small fix from Jan. As Sam has been busy with other things lately, would it be possible to add this to -mm so that we can start adding support for this to module-init-tools? Thanks, Michal Jan Beulich (1): kbuild: rebuild fix for Makefile.modbuiltin Michal Marek (1): kbuild: generate modules.builtin .gitignore | 1 + Makefile | 14 ++++++++--- scripts/Kbuild.include | 6 +++++ scripts/Makefile.lib | 5 +++- scripts/Makefile.modbuiltin | 52 +++++++++++++++++++++++++++++++++++++++++++ scripts/kconfig/confdata.c | 48 +++++++++++++++++++++++++++++++++----- 6 files changed, 114 insertions(+), 12 deletions(-) create mode 100644 scripts/Makefile.modbuiltin -- To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html