On Tue, 13 May 2014, Arnd Bergmann wrote: > On Tuesday 13 May 2014 18:17:40 Ley Foon Tan wrote: > > When we export this posix_types.h file for user software, they need to > > define this config, eg: CONFIG_32BIT_TIME to use 32 bit time. Is this > > what we want to do? > > No, this doesn't really work: You can't use CONFIG_* symbols in > user-visible header files. Then make the config symbol generate the header from a template. Thanks, tglx -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
