increase a timeout that fires on me from time to time

diff --git a/teshsuite/mc/mutex-handling/without-mutex-handling.tesh b/teshsuite/mc/mutex-handling/without-mutex-handling.tesh
index 9e14a2d..d589d0a 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
 #!/usr/bin/env tesh
 ! expect return 1
 ! output ignore

+! timeout 30

 $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/without-mutex-handling ${srcdir:=.}/examples/platforms/small_platform.xml ${srcdir:=.}/teshsuite/mc/mutex-handling/mutex-handling_d.xml
 $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/without-mutex-handling ${srcdir:=.}/examples/platforms/small_platform.xml ${srcdir:=.}/teshsuite/mc/mutex-handling/mutex-handling_d.xml