benchmark: output adjusted total time
authorFlorian Dold <florian.dold@gmail.com>
Thu, 27 Sep 2018 13:25:53 +0000 (15:25 +0200)
committerFlorian Dold <florian.dold@gmail.com>
Thu, 27 Sep 2018 13:25:53 +0000 (15:25 +0200)
commitf885cf0630c3322cf00a9add64e6bf16bea663bc
treed0e26ef028b335fde815bcb0d957d2bf90ef8938
parent4e06e1dea7545925e0d52c70ec6522aa48ead9bd
benchmark: output adjusted total time
contrib/benchmark/collect.awk