Searched refs:e_timeformat (Results 1 – 3 of 3) sorted by relevance
102 extern const char e_timeformat[];
197 const char e_timeformat[] = "\nreal\t%2lR\nuser\t%2lU\nsys\t%2lS"; variable
1885 const char *format = e_timeformat; in sh_exec()1941 format = e_timeformat; in sh_exec()