+# $Id: mkputty.mpw,v 1.1 2002/12/02 21:06:12 ben Exp $
+
+set program "{1}"
+shift
+if "{program}" == "68k"
+ set program PuTTY.68k
+end
+if "{program}" == "ppc"
+ set program PuTTY.ppc
+end
+if "{program}" == "" || "{program}" == "fat"
+ set program PuTTY
+end
+
+Set makefile Makefile.mpw
+
+# Run Make, then execute its output.
+
+Echo "# `Date -t` ----- Build of {program}."
+#if (`exists "#"Å"#"`)
+# echo "# `Date -t` ----- Warning: auto-save file present."
+#end
+Echo "# `Date -t` ----- Analyzing dependencies."
+Begin
+ Echo "Set Echo 1"
+ Make "{program}" {"Parameters"} -f "{makefile}"
+End > "{program}".makeout
+Echo "# `Date -t` ----- Executing build commands."
+"{program}".makeout
+Delete "{program}".makeout
+Echo "# `Date -t` ----- Done."
+Set type "`files -i -n -x t "{program}" ³ Dev:Null || Set Status 0`"
+Set CaseSensitive True #filetype check for DA must be case sensitive
+If "{type}" =~ /Å APPL/ OR "{type}" =~ /Å MPST/ # application or tool
+ Echo -n ¶t; Quote -n "{program}"; Echo -n " "
+End