diff contrib/dockerlib.sh @ 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 cea1473ba468
children a3ac1ea611ce
line wrap: on
line diff