diff mxtool/mx.py @ 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 99ad84da5f99
children 6fbf12b8e572
line wrap: on
line diff