1 files changed, 4 insertions, 0 deletions

diff --git a/contrib/benchmark/collect.awk b/contrib/benchmark/collect.awk
index b1e5977fd..39bbdf5ac 100644
--- a/contrib/benchmark/collect.awk
+++ b/contrib/benchmark/collect.awk
@@ -40,6 +40,7 @@ function abs(v) {
     if (n > 0) {
       op[$2]["time_us_sq"] += n * (t/n) * (t/n);
     }
+    total_ops += t;
   } else if ($1 == "url") {
     n = $6;
     t = $8;
@@ -84,4 +85,7 @@ END {
             "time_us_max", url[x][y]["time_us_max"];
     }
   }
+  if (total_ops) {
+    print "total_ops_ms", total_ops;
+  }
 }