■

昨日のやつ、DIDE 0.994cになってから(たぶん)デフォルトで設定されるようになった-gtオプションが原因みたい。外したら普通に動くように。
このオプション、プロファイリング用の情報を付加するらしいけどこんなのデフォで必要？

でもう一つ、-gオプションが効かない問題について。一応コマンドラインにわたってるように見えるんだけど…なんでだろ。デバッガはあんま使わないし別にいいんだけど。