diff options
Diffstat (limited to 'cmake/Toolchain-mingw64.cmake')
-rw-r--r-- | cmake/Toolchain-mingw64.cmake | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cmake/Toolchain-mingw64.cmake b/cmake/Toolchain-mingw64.cmake index 5196b7c34..f207875af 100644 --- a/cmake/Toolchain-mingw64.cmake +++ b/cmake/Toolchain-mingw64.cmake @@ -33,4 +33,3 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PROGRAM NEVER) set(CMAKE_FIND_ROOT_PATH_MODE_LIBRARY BOTH) set(CMAKE_FIND_ROOT_PATH_MODE_INCLUDE BOTH) -set(CVC5_WINDOWS_BUILD TRUE) |