fish-shell/build_tools
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
..
2016-06-11 15:35:52 -07:00
2016-05-29 22:24:29 -07:00
2018-03-01 13:09:35 +01:00
2018-04-09 01:09:49 +02:00
2018-03-01 13:09:35 +01:00