[MLton] PPC buildd + RAM - looks like no

[Stephen Weeks]

> If someone could provide some better arguments, I'd appreciate it:
> http://people.debian.org/~terpstra/message/20041223.102153.2e0e0124.en.html

Your arguments seem fine.  Michael's position is not surprising.  It
takes a lot of things to come together for whole-program optimization
to be sensible, and most people haven't been exposed to enough to be
enlightened.

I'd say to leave it be.  At some point, the machine will get upgraded.
Until then, his point about using another Debian developer machine
makes the most sense.