chiark / gitweb /
Understand if host canonical name has no dot.
[ian-dotfiles.git] / 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