()
| 97 | return "%s-%s-%s" % (osname, release, machine) |
| 98 | |
| 99 | def get_platform(): |
| 100 | if os.name == 'nt': |
| 101 | TARGET_TO_PLAT = { |
| 102 | 'x86' : 'win32', |
| 103 | 'x64' : 'win-amd64', |
| 104 | 'arm' : 'win-arm32', |
| 105 | } |
| 106 | return TARGET_TO_PLAT.get(os.environ.get('VSCMD_ARG_TGT_ARCH')) or get_host_platform() |
| 107 | else: |
| 108 | return get_host_platform() |
| 109 | |
| 110 | def convert_path (pathname): |
| 111 | """Return 'pathname' as a name that will work on the native filesystem, |