[MLton] -mtune=opteron considered harmful

[Matthew Fluet]

On Tue, 14 Aug 2007, Florian Weimer wrote:
> On Debian unstable at least, the C parts of MLton are compiled with
> -mtune=opteron.  With recent GCCs (4.1 in some distros, and 4.2
> mainline), this overrides the default of -mtune=generic, and produces
> code that doesn't run very well on Netburst machines.  (The impact on
> the Core architecture should be less significant, if measurable at
> all.)

Fair enough; I'm not sure it was doing anything particularly useful.  I've 
dropped the option (from both the flags passed to compile the runtime and 
from flags passed from mlton to gcc for compilation).