From fc707f3343247252cd55a1e0b69a2542f720f0eb Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 17 Aug 2021 12:50:49 +0200
Subject: [PATCH] test: fix test on Windows

---
 src/shell/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index 320799a3ee..eb14a4a882 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -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")