@@ -60,24 +60,24 @@ jobs:
6060 with :
6161 path : ${{ env.CROSS_BUILD_PYTHON }}/config.cache
6262 # Include env.pythonLocation in key to avoid changes in environment when setup-python updates Python.
63- # Include the hash of `Tools/wasm/wasi.py` as it may change the environment variables.
63+ # Include the hash of `Tools/wasm/wasi/__main__ .py` as it may change the environment variables.
6464 # (Make sure to keep the key in sync with the other config.cache step below.)
65- key : ${{ github.job }}-${{ env.IMAGE_OS_VERSION }}-${{ env.WASI_SDK_VERSION }}-${{ env.WASMTIME_VERSION }}-${{ inputs.config_hash }}-${{ hashFiles('Tools/wasm/wasi.py') }}-${{ env.pythonLocation }}
65+ key : ${{ github.job }}-${{ env.IMAGE_OS_VERSION }}-${{ env.WASI_SDK_VERSION }}-${{ env.WASMTIME_VERSION }}-${{ inputs.config_hash }}-${{ hashFiles('Tools/wasm/wasi/__main__ .py') }}-${{ env.pythonLocation }}
6666 - name : " Configure build Python"
67- run : python3 Tools/wasm/wasi.py configure-build-python -- --config-cache --with-pydebug
67+ run : python3 Tools/wasm/wasi configure-build-python -- --config-cache --with-pydebug
6868 - name : " Make build Python"
69- run : python3 Tools/wasm/wasi.py make-build-python
69+ run : python3 Tools/wasm/wasi make-build-python
7070 - name : " Restore host config.cache"
7171 uses : actions/cache@v4
7272 with :
7373 path : ${{ env.CROSS_BUILD_WASI }}/config.cache
7474 # Should be kept in sync with the other config.cache step above.
75- key : ${{ github.job }}-${{ env.IMAGE_OS_VERSION }}-${{ env.WASI_SDK_VERSION }}-${{ env.WASMTIME_VERSION }}-${{ inputs.config_hash }}-${{ hashFiles('Tools/wasm/wasi.py') }}-${{ env.pythonLocation }}
75+ key : ${{ github.job }}-${{ env.IMAGE_OS_VERSION }}-${{ env.WASI_SDK_VERSION }}-${{ env.WASMTIME_VERSION }}-${{ inputs.config_hash }}-${{ hashFiles('Tools/wasm/wasi/__main__ .py') }}-${{ env.pythonLocation }}
7676 - name : " Configure host"
7777 # `--with-pydebug` inferred from configure-build-python
78- run : python3 Tools/wasm/wasi.py configure-host -- --config-cache
78+ run : python3 Tools/wasm/wasi configure-host -- --config-cache
7979 - name : " Make host"
80- run : python3 Tools/wasm/wasi.py make-host
80+ run : python3 Tools/wasm/wasi make-host
8181 - name : " Display build info"
8282 run : make --directory "${CROSS_BUILD_WASI}" pythoninfo
8383 - name : " Test"
0 commit comments