-# sh make-host-2.sh
-sh make-host-1.sh || exit 1
-sh make-target-1.sh || exit 1
-sh make-host-2.sh || exit 1
-sh make-target-2.sh || exit 1
+# sh make-target-2.sh
+# sh make-target-contrib.sh
+# Or, if you can set up the files somewhere shared (with NFS, AFS, or
+# whatever) between the host machine and the target machine, the basic
+# procedure above should still work, but you can skip the "copy" steps.
+time sh make-host-1.sh || exit 1
+time sh make-target-1.sh || exit 1
+time sh make-host-2.sh || exit 1
+time sh make-target-2.sh || exit 1
+time sh make-target-contrib.sh || exit 1