comparison mxtool/mx @ 5263:d87155082c4d

guard all compilation queue accesses, to avoid deadlocks
author Lukas Stadler <lukas.stadler@jku.at>
date Fri, 13 Apr 2012 15:52:25 +0200
parents 71a2cd79c375
children a607682f7ba6
comparison
equal deleted inserted replaced
5184:d5cf399e6637 5263:d87155082c4d