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