Searched refs:date_buf (Results 1 – 2 of 2) sorted by relevance
340 char date_buf[100]; in main() local345 (void) strftime(date_buf, sizeof (date_buf), in main()347 (void) printf("%s\n", date_buf); in main()
183 char date_buf[256]; in derrprint() local