Mahmoud Al-Qudsi a5b8359c1c Add script for diffing two fish profile runs ...

Came in handy for tracking down the performance regression in #5219. This will
take the output of two (necessarily identical) `fish --profile ...` runs and
produce a third profile log in which all times are the difference between the
first and the second profile provided.

(I'm not sure if build_tools is the right place for it, but I think it's OK?)

2018-10-14 16:45:16 -05:00

1.1 KiB

Raw Blame History

View Raw