X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/75a383f8746398463787fa9a8505f417f2ca3eae..3afe678dc3123e0c0d517501f6a4f5fcf1f5ea24:/tools/tesh/cd.tesh

diff --git a/tools/tesh/cd.tesh b/tools/tesh/cd.tesh
index 221ea43715..dc297db6a1 100644
--- a/tools/tesh/cd.tesh
+++ b/tools/tesh/cd.tesh
@@ -12,12 +12,13 @@ $ ls
 # Check that tesh detects properly cd to non-existing directories
 ! expect return 4
 < $ cd toto
+> Enable coverage
 > Test suite from stdin
 > Chdir to toto failed: No such file or directory
 > Test suite `(stdin)': NOK (system error)
-$ ../tesh --log='log.thresh:info tesh.fmt:%m%n'
+$ ../tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
 
-# The next command checks that there is a testdir_temp-cd in the upper directory, 
+# The next command checks that there is a testdir_temp-cd in the upper directory,
 # ie that mkdir and cd both worked.
 $ test -e ../testdir_temp-cd