Ticket #4404 (closed defect: fixed)
OCaml Unix library gives incorrect process times
|Reported by:||schneck@…||Owned by:||pguyot@…|
At least on my machine, the Ocaml function Unix.times returns incorrect times. In the OCaml source file otherlibs/unix/times.c, it defines CLK_TCK to be 60; in fact (at least on my machine) CLK_TCK should be 100, as specified in the files included by <machine/limits.h>. Probably, otherlibs/unix/times.c should #include <machine/limits.h>.