On Wed, Mar 06, 2013 at 12:16:33PM +0100, Nicolas Dichtel wrote: > This problem has probably already been reported, but I don't find the fix > in a kernel.org tree and I don't understand why. First time I see this bug described - but I may missed it here at kbuild. If a patch exists then please include the patch in your mail so we can see it and comment on it. And make sure to have the attribution correct if you consider it to be applied. Thanks, Sam -- 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