binary RPM bugs

Henry Cejtin henry@sourcelight.com
Sun, 17 Jun 2001 17:33:34 -0500


The binary rpm doesn't work for compiling things for profiling because there
is no /usr/local/lib/mlton/lib/prof.o included.