fix test

diff --git a/tools/tesh/set-output-sort.tesh b/tools/tesh/set-output-sort.tesh
index beb475c..0e871aa 100644 (file)
--- a/tools/tesh/set-output-sort.tesh
+++ b/tools/tesh/set-output-sort.tesh
@@ -70,8 +70,8 @@ p This tests whether TESH correctly sorts command output
 < > b
 < > c
 < > d
-$ ${bindir:=.}/tesh --enable-coverage
-> Enable coverage
+$ ${bindir:=.}/tesh --ignore-jenkins
+> Ignore all cruft seen on SimGrid's continous integration servers
 > Test suite from stdin
 > [(stdin):1] Test sorting and filtering of output
 > [(stdin):3] true