1
0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-01-10 09:58:01 +00:00
putty-source/mac/mkputty.mpw

16 lines
354 B
Plaintext
Raw Normal View History

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