File: wasi.py

package info (click to toggle)
python3.14 3.14.3-4
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 167,092 kB
  • sloc: python: 759,022; ansic: 718,747; xml: 31,250; sh: 5,984; cpp: 4,093; makefile: 2,011; 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__")