The debian package are of course very uptodate, what do you mean?

[simgrid.git] / teshsuite / mc / no_mutex_handling.tesh

diff --git a/teshsuite/mc/no_mutex_handling.tesh b/teshsuite/mc/no_mutex_handling.tesh
index 58f31e8..863b78b 100644 (file)
--- a/teshsuite/mc/no_mutex_handling.tesh
+++ b/teshsuite/mc/no_mutex_handling.tesh
@@ -1,4 +1,4 @@
 #!/usr/bin/env tesh
 ! expect return 1
 ! output ignore
-$ ${bindir:=.}/../../bin/simgrid-mc ${bindir:=.}/no_mutex_handling --cfg=model-check:1 ../../examples/platforms/platform.xml mutex_handling.xml
+$ ${bindir:=.}/../../bin/simgrid-mc ${bindir:=.}/no_mutex_handling ../../examples/platforms/platform.xml mutex_handling.xml