2020-07-11 00:06:41 +03:00
|
|
|
:: Entry point for running python scripts on windows systems.
|
|
|
|
:: To modify this file, edit `tools/run_python.bat` and then run
|
|
|
|
:: `tools/create_entry_points.py`
|
2020-04-15 20:27:21 +03:00
|
|
|
|
2020-11-15 22:43:04 +03:00
|
|
|
@setlocal
|
|
|
|
@set EM_PY=%EMSDK_PYTHON%
|
|
|
|
@if "%EM_PY%"=="" (
|
2020-07-23 08:10:11 +03:00
|
|
|
set EM_PY=python
|
2020-07-11 00:06:41 +03:00
|
|
|
)
|
|
|
|
|
2020-11-15 22:43:04 +03:00
|
|
|
@"%EM_PY%" "%~dp0\%~n0.py" %*
|