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