From 2c3b40e7c69c6065ef9c5dd344658411fa3f9659 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 27 Sep 2018 15:45:26 +0200
Subject: benchmark: output int

---
 contrib/benchmark/collect.awk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
   }
 }
-- 
cgit v1.2.3