Merge branch 'main' of github.com:google/or-tools

google · Jul 5, 2023 · e0dfe81 · e0dfe81
2 parents 84e1ad7 + ab9b9a0
commit e0dfe81
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/ortools/pdlp/CMakeLists.txt b/ortools/pdlp/CMakeLists.txt
@@ -16,9 +16,9 @@ if(NOT USE_PDLP)
 endif()
 
 file(GLOB _SRCS "*.h" "*.cc")
-list(FILTER _SRCS EXCLUDE REGEX ".*/.*_test.cc")
-list(FILTER _SRCS EXCLUDE REGEX ".*/gtest.*")
-list(FILTER _SRCS EXCLUDE REGEX ".*/test.*")
+list(FILTER _SRCS EXCLUDE REGEX "/[^/]*_test\\.cc$")
+list(FILTER _SRCS EXCLUDE REGEX "/gtest[^/]*$")
+list(FILTER _SRCS EXCLUDE REGEX "/test[^/]*$")
 
 set(NAME ${PROJECT_NAME}_pdlp)