mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-01-10 18:07:59 +00:00
d1eddb0958
file. [originally from svn r2380]
16 lines
366 B
Plaintext
16 lines
366 B
Plaintext
# $Id: mkputty.mpw,v 1.2 2002/12/29 19:11:40 ben Exp $
|
|
|
|
Set makefile Makefile.mpw
|
|
|
|
# Run Make, then execute its output.
|
|
|
|
Echo "# `Date -t` ----- Analyzing dependencies."
|
|
Begin
|
|
Echo "Set Echo 1"
|
|
Make "{program}" {"Parameters"} -f "{makefile}"
|
|
End > make.out
|
|
Echo "# `Date -t` ----- Executing build commands."
|
|
make.out
|
|
Delete make.out
|
|
Echo "# `Date -t` ----- Done."
|