dish -- 分散シェル

make -j オプションでは、ローカルマシンで並列実行してくれるだけでしたが、dishというsh互換のコマンドを使えば、自動でリモートマシンで実行してくれるようです。

• http://www2.chem.nagoya-u.ac.jp/~matto/90/70Proj/dish/index.phtml
  • 公式サイト（？）

makeのSHELL変数を設定すれば、shの代わりにこれでコマンドを実行できるので、便利そうです。

make -j 10 SHELL="dish host1 2 host2 host3 4"

のように使えるみたいです。まだ使ってないので、これから使ってみたいと思います。