mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-01-10 18:07:59 +00:00
37 lines
987 B
Plaintext
37 lines
987 B
Plaintext
|
# $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 "#"<22>"#"`)
|
|||
|
|
# 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}" <20> Dev:Null || Set Status 0`"
|
|||
|
|
Set CaseSensitive True #filetype check for DA must be case sensitive
|
|||
|
|
If "{type}" =~ /<2F> APPL/ OR "{type}" =~ /<2F> MPST/ # application or tool
|
|||
|
|
Echo -n <20>t; Quote -n "{program}"; Echo -n " "
|
|||
|
|
End
|