tunes build.zsh,1.13

TUNES OS/Language Project tunes@bespin.org
Sat, 1 Feb 2003 04:18:21 -0800 (PST)


Update of /cvs/tunes
In directory bespin.org:/serv/tunes/tunes

Modified Files:
	build.zsh 
Log Message:
Merged the build.zsh minor differences.