Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
[simgrid.git] / examples / msg / mc / centralized_mutex.tesh
1 #! ./tesh
2
3 $ ${bindir:=.}/centralized_mutex