mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2026-01-24 15:36:48 +00:00
On win32, the ${PYTHON_EXECUTABLE} should be specified, otherwise the python script
can not be executed properly.
JerryScript-DCO-1.0-Signed-off-by: Yonggang Luo luoyonggang@gmail.com