diff options
Diffstat (limited to 'tools/util.py')
| -rw-r--r-- | tools/util.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/util.py b/tools/util.py index ca18faf54..8ab82e2d3 100644 --- a/tools/util.py +++ b/tools/util.py @@ -383,6 +383,7 @@ def parse_wrk_output(output): def platform(): return {"linux2": "linux", "darwin": "mac", "win32": "win"}[sys.platform] + def mkdtemp(): # On Windows, set the base directory that mkdtemp() uses explicitly. If not, # it'll use the short (8.3) path to the temp dir, which triggers the error |