1
0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-03-16 12:03:03 -05:00
putty-source/mkputty.mpw

37 lines
991 B
Plaintext
Raw Normal View History

# $Id: mkputty.mpw,v 1.1.2.6 1999/03/28 15:23:37 ben Exp $
set program "{1}"
shift
if "{program}" == "" || "{program}" == "68k"
set program PuTTY
end
if "{program}" == "ppc"
set program PuTTY.ppc
end
if "{program}" == "fat"
set program PuTTY.fat
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."
1999-03-13 18:20:14 +00:00
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