5 commits

Author	SHA1	Message	Date
Aaron Gyes	d556f04823	Revert "timer.cpp: use units like 'ms', etc. vs. "millis"" ... This reverts commit c01356ddd1. Tests broken	2020-02-12 02:06:30 -08:00
Aaron Gyes	c01356ddd1	timer.cpp: use units like 'ms', etc. vs. "millis" ... Change wording and omit '.00' decimal points in times	2020-02-12 01:53:48 -08:00
Johannes Altmanninger	3de95038b0	Make "time" a job prefix ... In particular, this allows `true && time true`, or `true; and time true`, and both `time not true` as well as `not time true` (like bash). time is valid only as job _prefix_, so `true | time true` could call `/bin/time` (same in bash) See discussion in #6442	2020-01-03 01:07:49 -06:00
ridiculousfish	9f7972a08b	clang-format C++ files	2019-12-29 14:25:42 -08:00
Mahmoud Al-Qudsi	664d6fb132	Convert time to a job decorator	2019-12-19 23:02:23 -06:00