[MLton] Windows ports and paths

Stephen Weeks MLton@mlton.org
Sun, 1 May 2005 13:09:25 -0700


> I change that every time though because I get a warning on compiling the C
> files that -mcpu is obsolete. This makes "make >/dev/null" still spam me
> and I miss the important messages.
> 
> I would recommend just omitting -mtune=* altogether. 

Fair enough.  I've done this.