You will also note that ctime.c only outputs define status declared either on the compiler command line or the config.h file and does not reflect the as-built configuration. That is, it is generated *before* the configuration is processed, not after (before all the .h files are processed, not after).