there were a command line parameter to include tim...
# intellij
o
there were a command line parameter to include timings, but I don’t remember exact name. @yole?