execute

   1 #!/bin/sh
   2 set -ex
   3
   4 for f in        autotitle misc
   5 do
   6         cd $f
   7         make
   8         make install INSTALLDIR=$HOME/personal/@@$platform@@/bin
   9         cd ..
  10 done