make sure that if semaphore are not usable, we detect it and complain as we should

[simgrid.git] / doc / gras_comm.png

diff --git a/doc/gras_comm.png b/doc/gras_comm.png
index 53ec300..00d54a1 100644 (file)
Binary files a/doc/gras_comm.png and b/doc/gras_comm.png differ