Lines Matching defs:platform
67 import platform
1566 if sys.platform == "emscripten":
1570 if sys.platform == 'win32': # pipes completely broken in Windows
1578 if sys.platform == 'win32':
1629 sys.platform == 'win32' else None
2469 version = html.escape("%s [%s, %s]" % (platform.python_version(),
2470 platform.python_build()[0],
2471 platform.python_compiler()))
2493 """ % (version, html.escape(platform.platform(terse=True)))