void print_supported_wiki(void) { time_t t = time(NULL); printf(wiki_header, ctime(&t), flashrom_version); print_supported_chips_wiki(2); #if CONFIG_INTERNAL == 1 print_supported_chipsets_wiki(3); print_supported_boards_wiki(); #endif print_supported_devs_wiki(); }
void print_supported_wiki(void) { time_t t = time(NULL); char buf[sizeof("1986-02-28T12:37:42Z")]; strftime(buf, sizeof(buf), "%Y-%m-%dT%H:%M:%SZ", gmtime(&t)); printf(wiki_header, buf, flashrom_version); print_supported_chips_wiki(2); #if CONFIG_INTERNAL == 1 print_supported_chipsets_wiki(3); print_supported_boards_wiki(); #endif print_supported_devs_wiki(); }