On Wed, 26 Dec 2012, David Woodhouse wrote: > Thanks. I'll look into this. I presume it was *always* failing, but > nobody happened to come across it because our test coverage of x86 > configs without CONFIG_64BIT wasn't particularly good? > Purely for selfish reasons, 32-bit isn't interesting for me. I'm sure they existed before, as you said, but only got exposed to be because "make randconfig" now allows such configurations. I've added ARCH=x86_64 to my scripts. -- To unsubscribe from this list: send the line "unsubscribe linux-tip-commits" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html