diff Makefile @ 30982:08e6f4dac2ca

extdiff: log time spent in external diff program We can't fix the time external diff programs take to run. Log that duration for us to remove from any stats we gather
author Simon Farnsworth <simonfar@fb.com>
date Wed, 15 Feb 2017 13:34:06 -0800
parents e4492d55fb66
children 408dcf7475a7
line wrap: on
line diff