File: wasi.py

package info (click to toggle)
python3.14 3.14.0-5
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 169,680 kB
  • sloc: python: 751,968; ansic: 717,163; xml: 31,250; sh: 5,989; cpp: 4,063; makefile: 1,995; objc: 787; lisp: 502; javascript: 136; asm: 75; csh: 12
file content (12 lines) | stat: -rw-r--r-- 377 bytes parent folder | download 
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__")