Searched refs:default_format (Results 1 – 1 of 1) sorted by relevance
55 static const char default_format[] ALIGN1 = "real\t%E\nuser\t%u\nsys\t%T"; variable432 const char *output_format = getenv("TIME") ? : default_format; in time_main()