-/*************************** CLOCK ************************************/ \r
-\r
-#include <types.h>\r
-#include <unistd.h>\r
-#include <time.h>\r
-#include <string.h>\r
-#include <sys/times.h>\r
-\r
-/* FIXME: CLOCKS_PER_SEC query */\r
-\r
+/*************************** CLOCK ************************************/
+
+#include <types.h>
+#include <unistd.h>
+#include <time.h>
+#include <string.h>
+#include <sys/times.h>
+
clock_t clock(void)
{
struct tms __tms;
times(&__tms);
- return (__tms.tms_utime * CLOCKS_PER_SEC);
+ /* Already correctly scaled */
+ return __tms.tms_utime;
}
-
-\r