Merge old CVS `ian-dotfiles' repo, as a subtree where we can pick bits

[ian-dotfiles.git] / from-cvs / execute

diff --git a/from-cvs/execute b/from-cvs/execute
new file mode 100755 (executable)
index 0000000..d2aa2b2
--- /dev/null
+++ b/from-cvs/execute
@@ -0,0 +1,10 @@
+#!/bin/sh
+set -ex
+
+for f in       autotitle misc
+do
+       cd $f
+       make
+       make install INSTALLDIR=$HOME/personal/@@$platform@@/bin
+       cd ..
+done