[MLton-devel] yeah, that did the trick

Stephen Weeks MLton@mlton.org
Mon, 16 Sep 2002 22:16:10 -0700

> Yeah, I'm not sure what the Standard Answer is on gmake vs. make.  I'm
> sure the vast majority of systems end up installing it. 

We had some discussion about that this afternoon and decided to go
ahead and explicitly use gmake, since it works on both systems.

Sponsored by: AMD - Your access to the experts on Hammer Technology! 
Open Source & Linux Developers, register now for the AMD Developer 
Symposium. Code: EX8664 http://www.developwithamd.com/developerlab
MLton-devel mailing list