2013-04-03 19:07:40 +04:00
|
|
|
@echo off
|
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-07-11 00:06:41 +03:00
|
|
|
@IF "%PYTHON%"=="" (
|
|
|
|
@SET PYTHON=%EMSDK_PYTHON%
|
|
|
|
)
|
|
|
|
|
|
|
|
@IF "%PYTHON%"=="" (
|
|
|
|
@SET PYTHON=python
|
|
|
|
)
|
|
|
|
|
|
|
|
%PYTHON% "%~dp0\%~n0.py" %*
|