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

test: fix test on Windows

Browse source
This commit is contained in:
Sebastian Ullrich 2021-08-17 12:50:49 +02:00
parent 94437bcfbb
commit fc707f3343
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/shell/CMakeLists.txt
View file

@ -218,4 +218,4 @@ add_test(NAME leanpkgtest_user_attr_app
set -eu
export PATH=${LEAN_BIN}:$PATH
find . -name '*.olean' -delete
leanmake bin LINK_OPTS=-rdynamic && build/bin/UserAttr")
leanmake bin LINK_OPTS='${CMAKE_EXE_LINKER_FLAGS}' && build/bin/UserAttr")