Complete tesh documentation.

diff --git a/tools/tesh/README b/tools/tesh/README
index bf02a75..5298b49 100644 (file)
--- a/tools/tesh/README
+++ b/tools/tesh/README
@@ -28,9 +28,11 @@ an error showing the diff (see OUTPUT below).
 Command line arguments
 ----------------------
 Tesh accepts several command line arguments:
-  --cd some/directory: ask tesh to switch the working directory before
-                       launching the tests
-  --setenv var=value: set a specific environment variable
+  --cd some/directory : ask tesh to switch the working directory before
+                        launching the tests
+  --setenv var=value  : set a specific environment variable
+  --cfg arg           : add parameter --cfg=arg to each command line
+  --enable-coverage   : ignore output lines starting with "profiling:"
 
 IO orders
 ---------

diff --git a/tools/tesh/tesh.1 b/tools/tesh/tesh.1
index 817110f..769c0c2 100644 (file)
--- a/tools/tesh/tesh.1
+++ b/tools/tesh/tesh.1
@@ -8,9 +8,11 @@ tesh \- testing shell
 .SH DESCRIPTION
 This is the TESH tool. It constitutes a testing shell, ie a sort of shell specialized to run tests. The list of actions to take is parsed from files files called testsuite.
 .SH OPTIONS
-  --cd some/directory: ask tesh to switch the working directory before
-                       launching the tests
-  --setenv var=value: set a specific environment variable
+  --cd some/directory : ask tesh to switch the working directory before
+                        launching the tests
+  --setenv var=value  : set a specific environment variable
+  --cfg arg           : add parameter --cfg=arg to each command line
+  --enable-coverage   : ignore output lines starting with "profiling:"
 .SH TESH FILE SYNTAX
 Here is the syntax of these files:
 

diff --git a/tools/tesh/tesh.c b/tools/tesh/tesh.c
index e05fd5e..e8aac13 100644 (file)
--- a/tools/tesh/tesh.c
+++ b/tools/tesh/tesh.c
@@ -20,7 +20,7 @@ XBT_LOG_NEW_DEFAULT_CATEGORY(tesh, "TEst SHell utility");
 int timeout_value = 5;          /* child timeout value */
 int sort_len = 19;              /* length of the prefix to sort */
 char *option;
-int coverage = 0;        /* whether the code coverage is enable */
+int coverage = 0;        /* whether the code coverage is enabled */
 
 rctx_t rctx;
 const char *testsuite_name;