Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / tools / tesh / set-output-sort.tesh

diff --git a/tools/tesh/set-output-sort.tesh b/tools/tesh/set-output-sort.tesh
index beb475c..d1d3cde 100644 (file)
--- a/tools/tesh/set-output-sort.tesh
+++ b/tools/tesh/set-output-sort.tesh
@@ -1,4 +1,4 @@
-#! ./tesh
+#!/usr/bin/env tesh
 
 p This tests whether TESH correctly sorts command output
 
@@ -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