1 files changed, 4 insertions, 0 deletions
diff --git a/tools/util.py b/tools/util.py
index 10b6b9c6f..7b8b6f6e3 100644
--- a/tools/util.py
+++ b/tools/util.py
@@ -332,3 +332,7 @@ def parse_wrk_output(output):
         if req_per_sec is None:
             req_per_sec = extract_number(r'Requests/sec:\s+(\d+)', line)
     return req_per_sec
+
+
+def platform():
+    return {"linux2": "linux", "darwin": "mac", "win32": "win"}[sys.platform]