convert bugged1-liveness

[simgrid.git] / examples / deprecated / msg / mc / centralized_mutex.tesh

#!/usr/bin/env tesh

$ ${bindir:=.}/centralized_mutex ${platfdir:=.}/small_platform.xml