From: maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Sat, 21 Dec 2013 17:30:44 +0000 (+0000)
Subject: Add documentation
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9d76f48c39d28bc43e0d6a8f3830f6c2c2a072ac;p=dealii-svn.git

Add documentation

git-svn-id: https://svn.dealii.org/trunk@32089 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/developers/testsuite.html b/deal.II/doc/developers/testsuite.html
index 7247194f88..793b94dbbc 100644
--- a/deal.II/doc/developers/testsuite.html
+++ b/deal.II/doc/developers/testsuite.html
@@ -777,6 +777,15 @@ CONFIG_FILE
     $ cmake -C ${CONFIG_FILE}). This only has an effect if
     CTEST_BINARY_DIRECTORY is empty.
 
+DESCRIPTION
+  - A string that is appended to CTEST_BUILD_NAME
+
+COVERAGE
+  - If set to TRUE deal.II will be configured with
+    DEAL_II_SETUP_COVERAGE=TRUE, CMAKE_BUILD_TYPE=Debug and the
+    CTEST_COVERAGE() stage will be run. Test results must go into the
+    "Experimental" section.
+
 MAKEOPTS
   - Additional options that will be passed directly to make (or ninja).
 </pre>