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_7_1~75
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c3a0f8780fe7a8e93fa2a43ea8188be333516baf?hp=c3a0f8780fe7a8e93fa2a43ea8188be333516baf

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