1 # $Id: mkputty.mpw,v 1.3 2002/12/30 15:41:52 ben Exp $
3 Set makefile Makefile.mpw
5 # Run Make, then execute its output.
7 Echo "# `Date -t` ----- Analyzing dependencies."
10 Make {"Parameters"} -f "{makefile}"
12 Echo "# `Date -t` ----- Executing build commands."
15 Echo "# `Date -t` ----- Done."