File: wasi.py

package info (click to toggle)
python3.14 3.14.0~rc1-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 126,824 kB
  • sloc: python: 745,274; ansic: 713,752; xml: 31,250; sh: 5,822; cpp: 4,063; makefile: 1,988; objc: 787; lisp: 502; javascript: 136; asm: 75; csh: 12
file content (10 lines) | stat: -rw-r--r-- 367 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
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__")