Closed lgatto closed 10 years ago
It seems time -f
is a GNU extension.
The normal output of /usr/bin/time
is ugly and nearly unparseable (so we can't highlight build times > 5min):
/usr/bin/time echo "foo"
foo
0.00user 0.00system 0:00.00elapsed 0%CPU (0avgtext+0avgdata 620maxresident)k
0inputs+0outputs (0major+203minor)pagefaults 0swaps
There are two solutions:
Do you have another idea?
What if TIMEFORMAT
is not defined, ugly output an no highlighting, else current situation. We basically just need to add TIMEFORMAT := -f "time: %e"
to our .makerrc
files. How's that?
On a Mac terminal,
time
does not have an -f option. I would suggest to either remove it completely of ignore it unless defined explicitly.