From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 22 May 2012 10:01:33 +0000 (+0200)
Subject: The mutex is useless when mallocators are disabled.
X-Git-Tag: v3_8~697
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3823e54e6b0da3c0b213c3ba1537befca354d647?hp=3823e54e6b0da3c0b213c3ba1537befca354d647

The mutex is useless when mallocators are disabled.
---