diff options
| author | Ryan Dahl <ry@tinyclouds.org> | 2018-10-19 19:15:14 -0400 |
|---|---|---|
| committer | Ryan Dahl <ry@tinyclouds.org> | 2018-10-20 01:19:59 -0400 |
| commit | 00884d7164ce7322b9e627051b65887f9f2c817d (patch) | |
| tree | bf645634ae263a338e334a1748d3bb0c1f9d092b /tools/util.py | |
| parent | 09e011b3890af1525f27b788da63b09d8e874604 (diff) | |
Add rustfmt to third_party.
Diffstat (limited to 'tools/util.py')
| -rw-r--r-- | tools/util.py | 4 |
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] |