X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/45fd73e922fcbd14b67a7327940bb2d63df60c02..b05a0ed4f5fb7b81f96777af37b8f7fc5a4bf160:/tools/tesh/cd.tesh

diff --git a/tools/tesh/cd.tesh b/tools/tesh/cd.tesh
index d52a2ac42b..dc297db6a1 100644
--- a/tools/tesh/cd.tesh
+++ b/tools/tesh/cd.tesh
@@ -2,24 +2,25 @@
 
 # This example uses the cd command
 
-$ rm -rf testdir_temp
-$ mkdir testdir_temp
-$ cd testdir_temp
+$ rm -rf testdir_temp-cd
+$ mkdir testdir_temp-cd
+$ cd testdir_temp-cd
 
-# Check that there is nothing in the current dir (which must be testdir_temp)
+# Check that there is nothing in the current dir (which must be testdir_temp-cd)
 $ 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 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
+$ test -e ../testdir_temp-cd
 
 $ cd ..
-$ rmdir testdir_temp
+$ rmdir testdir_temp-cd