[MLton] building mlton on Solaris 10

[Matthew Fluet]

>> What's odd is that you seem to be producing the expected sizes for
>> sparc-solaris, but the regression script appears to be comparing against
>> mlton.share.ok.  What is the output of running './bin/platform'?
>
> $ bin/platform
> HOST_OS=solaris HOST_ARCH=sparc
>
> Should it instead say sun4u?

No; we sanitize the output of uname to reduce the number of distinct 
platforms.

So, I'm still confused by the fact that you are producing the expected 
sizes for sparc-solaris, bt the regression script is comparing against 
mlton.share.ok.