[MLton-devel] yeah, that did the trick

[Stephen Weeks]

> 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
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel