]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Bugfix: Do not list pure header files in CTEST_EXTRA_COVERAGE_GLOB
authorMatthias Maier <tamiko@kyomu.43-1.org>
Fri, 18 Oct 2013 09:27:25 +0000 (09:27 +0000)
committerMatthias Maier <tamiko@kyomu.43-1.org>
Fri, 18 Oct 2013 09:27:25 +0000 (09:27 +0000)
git-svn-id: https://svn.dealii.org/branches/branch_port_the_testsuite@31292 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/CTestConfig.cmake

index 30f387c19d3a62a0ae50d7db192d2da414df565d..78157805d8e09e3382192a2dc6045a9796cf10e1 100644 (file)
@@ -38,8 +38,8 @@ SET(CTEST_CUSTOM_ERROR_POST_CONTEXT          20)
 #
 
 SET(CTEST_EXTRA_COVERAGE_GLOB
-  # already relative to source dir:
-  include/**/*.h
+  # These files should have executable lines and therefore coverage:
+  include/**/*.template.h
   source/**/*.cc
   )
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.