summaryrefslogtreecommitdiff
path: root/contrib/benchmark
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2018-09-27 15:45:26 +0200
committerFlorian Dold <florian.dold@gmail.com>2018-09-27 15:45:26 +0200
commit2c3b40e7c69c6065ef9c5dd344658411fa3f9659 (patch)
tree92b85b44bb8088a8e5bfe1df9d35497537c89560 /contrib/benchmark
parentb5e2fc08571dd50208f485476f3072427e3916e9 (diff)
benchmark: output int
Diffstat (limited to 'contrib/benchmark')
-rw-r--r--contrib/benchmark/collect.awk2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/benchmark/collect.awk b/contrib/benchmark/collect.awk
index 5afa093e2..16f2e700c 100644
--- a/contrib/benchmark/collect.awk
+++ b/contrib/benchmark/collect.awk
@@ -105,6 +105,6 @@ END {
for (x in op) {
total_ops_adjusted += op_baseline[x] * op[x]["count"];
}
- print "total_ops_adjusted_ms", total_ops_adjusted;
+ print "total_ops_adjusted_ms", int(total_ops_adjusted);
}
}