No, it's not possible currently..
- Look at
PrintTiming
, it is usingprintf
. While the stuff that prints to the log file, is usingfprintf
. My assumption is that the patch that provides this would be a couple of lines. - You would have to have the ability to suppress the outputting of the result on
--log-file
, which we don't currently have
.. maybe in the future.