makeと戯れている間に、ドル円が100円半ばに突入してましたよ。この辺りに居てくれると、安心出来るんですけどね(本音は、もう少し上だと良いなぁ)。

パラレルmakeが失敗する根本原因の調査はひとまず置いておいて、取りあえずlinux上ではどうなるかを調べてみた。 残念ながら今回の問題となったmake v3.81の入った環境は見つからなかったが(再インストールしてmake v3.81の環境を探すのが面倒なだけ)、make …