fix: Use user-provided Lua binary to run scripts (#3715)

This commit is contained in:
Lucas Schwiderski 2022-10-11 07:42:33 +02:00 committed by GitHub
parent b16f628620
commit 963622af8e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -383,7 +383,7 @@ add_custom_target(check-examples DEPENDS ${EXAMPLE_DOC_TEST_TARGETS})
# Some tests produce multiple files, find them and post-process them.
add_custom_target(DOC_EXAMPLES_PPOSTPROCESS_CLEANUP
COMMAND "${TOP_SOURCE_DIR}/tests/examples/_postprocess_cleanup.lua" ${RAW_IMAGE_DIR} ${IMAGE_DIR} "${TOP_SOURCE_DIR}/tests/examples/_postprocess.lua"
COMMAND "${LUA_EXECUTABLE}" "${TOP_SOURCE_DIR}/tests/examples/_postprocess_cleanup.lua" ${RAW_IMAGE_DIR} ${IMAGE_DIR} "${TOP_SOURCE_DIR}/tests/examples/_postprocess.lua"
VERBATIM
DEPENDS ${BUILD_DIR}/doc/index.html
)