cvs

[Matthew Fluet]

> What was the file?  

src/mlton/backend/machine-output.fun

> Stephen got those originally because I had made the
> default options `kb' instead of `ko', but then he changed them all to `ko'
> using the admin command and that seemed to fix things.

I thought that might be it.  I don't think I've done a clean check out
since then, so maybe some of my sticky bits are set wrong.  And maybe I'm
propagating them back to the repository? (You can check the x86-codegen
directory files; I'm the only one who updates those.)