diff options
| author | Brett Cannon <brett@python.org> | 2024-11-07 21:40:56 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-07 21:40:56 (GMT) |
| commit | bbe9b21d06c192a616bc1720ec8f7d4ccc16cab8 (patch) | |
| tree | 63c33621f4828461ae2da9e49dab4b9379dc22a8 /Tools | |
| parent | 1f777396f52a4cf7417f56097f10add8042295f4 (diff) | |
| download | cpython-bbe9b21d06c192a616bc1720ec8f7d4ccc16cab8.zip cpython-bbe9b21d06c192a616bc1720ec8f7d4ccc16cab8.tar.gz cpython-bbe9b21d06c192a616bc1720ec8f7d4ccc16cab8.tar.bz2 | |
GH-123877: default to `wasm32-wasip1` instead of `wasm32-wasi` to be more specific (GH-126552)
Eventually wasm32-wasi will represent WASI 1.0, and so it's currently deprecated so it can be used for that eventual purpose. wasm32-wasip1 is also more specific to what version of WASI is currently supported.
---------
Co-authored-by: Erlend E. Aasland <erlend.aasland@protonmail.com>
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/wasm/wasi.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/wasm/wasi.py b/Tools/wasm/wasi.py index 050e372..ac36d55 100644 --- a/Tools/wasm/wasi.py +++ b/Tools/wasm/wasi.py @@ -346,7 +346,7 @@ def main(): "(default designed for wasmtime 14 or newer: " f"`{default_host_runner}`)") for subcommand in build, configure_host, make_host: - subcommand.add_argument("--host-triple", action="store", default="wasm32-wasi", + subcommand.add_argument("--host-triple", action="store", default="wasm32-wasip1", help="The target triple for the WASI host build") context = parser.parse_args() |