Hi Thomas,
maybe this can be handy: the `moreutils` package has a utility called `ts`, that will prepend a timestamp to each line of output.
If you pipe the output of your compilation into it, you can get timing information quite easily, here's an example:
% ls | ts -s "%H:%M:%.S"
00:00:00.000013 _config
00:00:00.000546 myfavoritethings_ob-cm.pdf
00:00:00.000567 myfavoritethings_ob-em.pdf
00:00:00.000580 openbook_v1-1.pdf
00:00:00.000591 openbook_v1.ly
00:00:00.000602 openbook_v1.pdf
00:00:00.000613 srcHere I'm using "-s" to mean "time relative to the start time", and "%.S" in the format to mean "print out subsecond timestamps".
(As your runs are sub-minute, you can probably use "%M:%.S" if you feel like saving some 0's on the left)
You can capture stderr also adding `2>&1` before the pipe, like this: "<yourcommand> 2>&1 | ts ..."
The moreutils package is installed in Linux distributions but doesn't appear to be there by default on MacOS,
our friends on stackexchange indicate that on brew you'd use `brew install moreutils` to get the package (I just tried this, it worked fine for me),
on macports I think it's something like `sudo port install moreutils` (but I don't use macports, so I haven't tested this one).
HTH,
Luca