max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: avoid cmake -E env

Browse source 
It was calling into WSL bash on my machine...
This commit is contained in:
Sebastian Ullrich 2021-09-15 13:49:19 +02:00
parent 0fcc2a0fff
commit 23c3dc335b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/CMakeLists.txt
View file

@ -468,7 +468,7 @@ endif()
if(PREV_STAGE)
add_custom_target(update-stage0
COMMAND cmake -E env CSRCS=${CMAKE_BINARY_DIR}/lib/temp bash script/update-stage0
COMMAND bash -c 'CSRCS=${CMAKE_BINARY_DIR}/lib/temp script/update-stage0'
DEPENDS make_stdlib
WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/..")
endif()