Add ${PYTHON_EXECUTABLE} for "Generating doctests" (#4496)

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
This commit is contained in:
Yonggang Luo 2021-01-17 11:39:21 -08:00 committed by GitHub
parent 9bc0f2fd3f
commit 69ce755593
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -85,7 +85,7 @@ endif()
# Add custom command to run doctest generator if any of the MarkDown sources
# changes.
add_custom_command(
COMMAND ${GEN_DOCTEST} -d ${CMAKE_CURRENT_BINARY_DIR} ${DOC_FILES}
COMMAND ${PYTHON_EXECUTABLE} ${GEN_DOCTEST} -d ${CMAKE_CURRENT_BINARY_DIR} ${DOC_FILES}
DEPENDS ${GEN_DOCTEST} ${DOC_FILES}
OUTPUT ${DOCTEST_COMPILE} ${DOCTEST_LINK} ${DOCTEST_RUN}
COMMENT "Generating doctests"