diff options
Diffstat (limited to 'Tools/wasm/wasi-env')
| -rwxr-xr-x | Tools/wasm/wasi-env | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Tools/wasm/wasi-env b/Tools/wasm/wasi-env index 4c5078a1f67..08d4f499baa 100755 --- a/Tools/wasm/wasi-env +++ b/Tools/wasm/wasi-env @@ -1,7 +1,8 @@ #!/bin/sh set -e -# NOTE: to be removed once no longer used in https://github.com/python/buildmaster-config/blob/main/master/custom/factories.py . +# NOTE: to be removed once no longer used in https://github.com/python/buildmaster-config/blob/main/master/custom/factories.py ; +# expected in Python 3.18 as 3.13 is when `wasi.py` was introduced. # function usage() { |