wasi: Update the location of the 'config.site' file in the build script (GH-133611)

zware · web-flow · commit 14291faa52df · 2025-05-07T20:48:41.000Z
Also remove Tools/wasm from mypy CI workflow
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
@@ -19,7 +19,6 @@ on:
       - "Tools/jit/**"
       - "Tools/peg_generator/**"
       - "Tools/requirements-dev.txt"
-      - "Tools/wasm/**"
   workflow_dispatch:
 
 permissions:
@@ -51,7 +50,6 @@ jobs:
           "Tools/clinic",
           "Tools/jit",
           "Tools/peg_generator",
-          "Tools/wasm",
         ]
     steps:
       - uses: actions/checkout@v4
diff --git a/Tools/wasm/wasi/__main__.py b/Tools/wasm/wasi/__main__.py
@@ -206,7 +206,7 @@ def configure_wasi_python(context, working_dir):
                         "https://github.com/WebAssembly/wasi-sdk and/or "
                         "specify via $WASI_SDK_PATH or --wasi-sdk")
 
-    config_site = os.fsdecode(CHECKOUT / "Tools" / "wasm" / "config.site-wasm32-wasi")
+    config_site = os.fsdecode(CHECKOUT / "Tools" / "wasm" / "wasi" / "config.site-wasm32-wasi")
 
     wasi_build_dir = working_dir.relative_to(CHECKOUT)
 
