benchmark: collect max correctly this time
authorFlorian Dold <florian.dold@gmail.com>
Thu, 27 Sep 2018 12:09:32 +0000 (14:09 +0200)
committerFlorian Dold <florian.dold@gmail.com>
Thu, 27 Sep 2018 12:09:44 +0000 (14:09 +0200)
commitc5b6efe0873727ca88c3bcbfbf2c8f692d97400f
treeb81976385795593880183ea6ce1d16dcfea6e78d
parent59f386e0698e28ace6902f5694700b384d3dbf70
benchmark: collect max correctly this time
contrib/benchmark/collect.awk