Add a label for push__oh_

2019-02-28 16:32:01 +01:00 · 2019-02-28 16:32:01 +01:00 · 902070d4d1
parent 7407a432ce
commit 902070d4d1
1 changed files with 2 additions and 0 deletions
--- a/Installation/cmake/modules/CGAL_add_test.cmake
+++ b/Installation/cmake/modules/CGAL_add_test.cmake
@ -204,6 +204,8 @@ function(cgal_setup_test_properties test_name)
          APPEND PROPERTY FIXTURES_SETUP "${exe_name}")
        set_property(TEST "push_of__${exe_name}"
          APPEND PROPERTY FIXTURES_REQUIRED "${PROJECT_NAME}")
+        set_property(TEST "push_of__${exe_name}"
+          APPEND PROPERTY LABELS "${PROJECT_NAME}")
      endif()
    endif()
  endif() # end CMake 3.7 or later