Merge branch 'udpor-phase6' into 'master'

[simgrid.git] / teshsuite / mc / mutex-handling / without-mutex-handling.tesh

diff --git a/teshsuite/mc/mutex-handling/without-mutex-handling.tesh b/teshsuite/mc/mutex-handling/without-mutex-handling.tesh
index fa4fae75539c859d88b11947db33b3c8f929e60f..53136bfe23b55f96d61349ff72de59961bf474c8 100644 (file)
--- a/teshsuite/mc/mutex-handling/without-mutex-handling.tesh
+++ b/teshsuite/mc/mutex-handling/without-mutex-handling.tesh
@@ -1,4 +1,5 @@
 #!/usr/bin/env tesh
 ! expect return 1
-! output ignore
-$ ${bindir:=.}/../../bin/simgrid-mc ${bindir:=.}/without_mutex_handling ${srcdir:=.}/examples/platforms/platform.xml mutex_handling.xml mutex_handling.xml
+! output display
+! timeout 30
+$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/without-mutex-handling ${srcdir:=.}/examples/platforms/small_platform.xml