mlton/Makefile

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Sat, 30 Mar 2002 23:50:13 -0500 (EST)


Any reason not to use $(NAME)_cm and $(NAME)-stubs_cm as the .PHONY
targets instead of cm and cm-stubs.  The $(NAME)_cm target is what is
"standard" for the other tools.