benchmark: fix another awk error
authorFlorian Dold <florian.dold@gmail.com>
Wed, 26 Sep 2018 15:45:04 +0000 (17:45 +0200)
committerFlorian Dold <florian.dold@gmail.com>
Wed, 26 Sep 2018 15:45:04 +0000 (17:45 +0200)
commitd691980cefc24464dcd85d8f1fae84d906bd7eb1
tree41413ad33e65279aebc10754e0dcb9e6e40c709d
parent1d2d41d821dc9d15d11f8793440760f5cf1ce896
benchmark: fix another awk error
contrib/benchmark/collect.awk