[MLton] fun with ranlib

Henry Cejtin henry@sourcelight.com
Wed, 15 Sep 2004 15:34:02 -0500


Certainly re-running ranlib after a copy used to be the standard every where.

I'm curious: when you did not re-run ranlib, did the link actually  fail?   I
would  have  expected that the linker would not believe the ranlib was valid,
but that would just slow the link down.