From 92d485c72123631bf4d86e9b8b48870f8ef5178b Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Tue, 6 Sep 2016 10:59:51 +0200
Subject: [PATCH] fix test

---
 tools/tesh/set-output-sort.tesh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/tesh/set-output-sort.tesh b/tools/tesh/set-output-sort.tesh
index beb475c99c..0e871aacd1 100644
--- 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
-- 
2.20.1