X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c1279242e832ddcc53bf8ceb0e112035f64a844d..5f7dcdd2f5a7e9b0621153af33c1521498a52e75:/tools/tesh/tesh.c

diff --git a/tools/tesh/tesh.c b/tools/tesh/tesh.c
index 34c92b1351..b4659fcf0a 100644
--- a/tools/tesh/tesh.c
+++ b/tools/tesh/tesh.c
@@ -22,6 +22,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 */
 
 rctx_t rctx;
 const char *testsuite_name;
@@ -255,6 +256,13 @@ int main(int argc, char *argv[])
       argc -= 2;
       i -= 2;
     }
+    else if (!strcmp(argv[i], "--enable-coverage" )){
+    	coverage = 1;
+    	XBT_INFO("Enable coverage");
+    	memmove(argv + i, argv + i + 1, (argc - i - 1) * sizeof(char *));
+    	argc -= 1;
+    	i -= 1;
+    }
   }
 
   /* Find the description file */