diff options
author | José Fonseca <jfonseca@vmware.com> | 2013-02-06 09:07:21 +0000 |
---|---|---|
committer | José Fonseca <jfonseca@vmware.com> | 2013-02-06 09:09:04 +0000 |
commit | a8de09b42cb9acd780edc0744fb0bf1ff30f2a55 (patch) | |
tree | 2f6ce3c86c8bc120b20359d452fd0ad7b2e477ad /cmake | |
parent | f232fa4d65b50d33f3e2c7721564e8ef57208880 (diff) |
cmake: Ensure we use static libraries on Windows.
It would be nice to eventually get dynamic link libraries working with
WGL too, but for now ensure that we always do static as intended.
This might fix fdo bug 60352.
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/piglit_util.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/piglit_util.cmake b/cmake/piglit_util.cmake index 3a45e8a7d..d3cab44df 100644 --- a/cmake/piglit_util.cmake +++ b/cmake/piglit_util.cmake @@ -78,7 +78,7 @@ function(piglit_add_library name) list(REMOVE_AT ARGV 0) if(WIN32) - add_library(${name} ${ARGV}) + add_library(${name} STATIC ${ARGV}) else(WIN32) add_library(${name} SHARED ${ARGV}) install(TARGETS ${name} DESTINATION lib) |