mono でお騒がせしておりました者です。
あれから 100 CPU時間(hour) ほど待ってみましたが、一向に mono が
CPU使用率 100% のまま終了せず、make プロセスが終了しません。
前にもこのようなことがあったような気がしますが、その時は
バージョンが進んで勝手に解決してしまったような気がします。
ここはひとつ Bugzilla に投げるべきなのでしょうか…?