3 Commits

Author	SHA1	Message	Date
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