> So, shouldn't we go without the new option and simply change > -ftime-report behavior?
I think it's fine (given the constraints I outlined earlier). It will slightly change the output, but I guess there aren't that many users that parse it mechanically. I can do that unless someoneelse objects. -Andi
