On Wed, Nov 2, 2011 at 11:39 AM, Ingo Molnar <mingo@xxxxxxx> wrote: >> As I said, make kvmconfig is fine with me, if it's just this single case. > > Great, thanks! I applied Sasha's patch. We're happy to revisit the Kbuild changes if someone comes up with something more generic in the future. Pekka -- 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