diff options
| -rw-r--r-- | .github/workflows/mypy.yml | 2 | ||||
| -rw-r--r-- | Tools/wasm/wasi/__main__.py | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml index 908daaf3a60..4683848ab5e 100644 --- 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 index 5a6578a2d7a..6af9b5f12cb 100644 --- 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) |