https://pantsbuild.org/ logo
r

rough-minister-58256

08/11/2016, 1:06 AM
gnu time is sort of nice for more involved time profiling cuz it can spit out directly in csv format based on the format string etc