File: wasi.py

package info (click to toggle)
python3.14 3.14.3-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 164,024 kB
  • sloc: python: 758,439; ansic: 718,653; xml: 31,250; sh: 5,983; cpp: 4,093; makefile: 2,007; objc: 787; lisp: 502; javascript: 136; asm: 75; csh: 12
file content (12 lines) | stat: -rw-r--r-- 377 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
 
if __name__ == "__main__":
    import pathlib
    import runpy
    import sys

    print(
        "⚠️ WARNING: This script is deprecated and slated for removal in Python 3.20; "
        "execute the `wasi/` directory instead (i.e. `python Tools/wasm/wasi`)\n",
        file=sys.stderr,
    )

    runpy.run_path(pathlib.Path(__file__).parent / "wasi", run_name="__main__")